This is an old revision of the document!
Maximal extension in a set
Set
context | $X$ … set |
context | $a\in X$ |
definiendum | $\mathrm{max}(a,A)\equiv\bigcup\{b\mid (b\in X)\land a\subseteq b}$ |
Discussion
Idea
Given $a\in X$, the maximal extension $a'$ is the largest amongs $X$ which does contain $a$.
Predicate
predicate | $x$ maximal in $X \equiv \mathrm{max}(x,A)=x$ |