Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
maximal_extension_in_a_set [2014/12/04 14:19] nikolaj |
maximal_extension_in_a_set [2014/12/04 14:21] nikolaj |
||
|---|---|---|---|
| Line 10: | Line 10: | ||
| === Predicate === | === Predicate === | ||
| - | | @#EEEE55: predicate | @#EEEE55: $x$ maximal in $X \equiv \mathrm{max}(x,A)=x$ | | + | | @#EEEE55: predicate | @#EEEE55: $x$ maximal in $X \equiv \mathrm{max}(x,X)=x$ | |
| === Reference === | === Reference === | ||
