Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
maximal_extension_in_a_set [2014/12/04 14:17] nikolaj |
maximal_extension_in_a_set [2014/12/04 14:18] nikolaj |
||
---|---|---|---|
Line 3: | Line 3: | ||
| @#55CCEE: context | @#55CCEE: $X$ ... set | | | @#55CCEE: context | @#55CCEE: $X$ ... set | | ||
| @#55CCEE: context | @#55CCEE: $a\in X$ | | | @#55CCEE: context | @#55CCEE: $a\in X$ | | ||
- | | @#FFBB00: definiendum | @#FFBB00: $\mathrm{max}(a,A)\equiv\bigcup\{b\mid (b\in X)\land a\subseteq b}$ | | + | | @#FFBB00: definiendum | @#FFBB00: $\mathrm{max}(a,A)\equiv\bigcup\{b\mid b\in X\land a\subseteq b\}$ | |
==== Discussion ==== | ==== Discussion ==== | ||
=== Idea === | === Idea === | ||
- | Given $a\in X$, the maximal extension $a'$ is the largest amongs $X$ which does contain $a$. | + | Given $a\in X$, the maximal extension $\mathrm{max}(a,A)$ is the largest set in $X$ which encompasses $a$. |
=== Predicate === | === Predicate === |