# If and then (transitive).
# If , then or (connected).

Asymmetry follows from transitivity and irreflexivity; moreover, irreflexivity follows from asymmetry.

Examples

* Any subset of a totally ordered set is totally ordered for the restriction of the order on .
* The unique order on the empty set, , is a total order.
* Any set of ordinal numbers

1.Previous
3.Next