Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
ordinal_number [2014/12/05 11:04]
nikolaj
ordinal_number [2014/12/05 11:07]
nikolaj
Line 2: Line 2:
 ==== Set ==== ==== Set ====
 | @#FFBB00: definiendum | @#FFBB00: $\alpha\in \mathrm{Ord}$ | | @#FFBB00: definiendum | @#FFBB00: $\alpha\in \mathrm{Ord}$ |
-| inclusion ​    ​| $\alpha$...transitive | +@#​AAFFAA: ​inclusion ​  ​@#​AAFFAA: ​$\alpha$...transitive | 
-| $\beta,​\gamma\in\alpha$ |+@#FFFDDD: for all     | @#​FFFDDD: ​$\beta,​\gamma\in\alpha$ |
 | @#55EE55: postulate ​  | @#55EE55: $ (\beta\in\gamma)\ \lor\  (\gamma\in\beta)\ ​ \lor\  (\beta=\gamma) $ | | @#55EE55: postulate ​  | @#55EE55: $ (\beta\in\gamma)\ \lor\  (\gamma\in\beta)\ ​ \lor\  (\beta=\gamma) $ |
  
Line 20: Line 20:
 ==== Parents ==== ==== Parents ====
 === Requirements === === Requirements ===
 +[[Transitive relation]]
 +=== Related ===
 [[Trichotomous relation]] [[Trichotomous relation]]
Link to graph
Log In
Improvements of the human condition