Processing math: 100%
Maximal extension in a set
Set
context
A
… set
context
a
∈
A
definiendum
m
a
x
(
a
,
A
)
≡
⋃
{
b
∣
b
∈
A
∧
a
⊆
b
}
Discussion
Idea
Given
a
∈
A
, the maximal extension
m
a
x
(
a
,
A
)
is the largest set in
A
which encompasses
a
.
Predicate
predicate
x
maximal in
X
≡
m
a
x
(
x
,
X
)
=
x
Reference
Parents
Element of
Set universe