Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Last revision Both sides next revision
set_cardinality [2014/12/02 16:36]
nikolaj
set_cardinality [2014/12/02 16:38]
nikolaj
Line 2: Line 2:
 ==== Set ==== ==== Set ====
 | @#55CCEE: context ​    | @#55CCEE: $X$ ... set | | @#55CCEE: context ​    | @#55CCEE: $X$ ... set |
-| @#FFBB00: definiendum | @#FFBB00: $ \mathrm{card}(X)\equiv\mathrm{inf}\{\alpha\ |\ \alpha\in\mathrm{Ord}\ \land\ \alpha\approx X\} $ |+| @#FFBB00: definiendum | @#FFBB00: $ \left|X\right|\equiv\mathrm{inf}\{\alpha\ |\ \alpha\in\mathrm{Ord}\ \land\ \alpha\approx X\} $ |
  
 ==== Discussion ==== ==== Discussion ====
Link to graph
Log In
Improvements of the human condition