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 $\mathrm{max}(a,A)$ is the largest set in $X$ which encompasses $a$.
Predicate
predicate | $x$ maximal in $X \equiv \mathrm{max}(x,A)=x$ |