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