A linear order (or total order) on a set
- irreflexive
- transitive
- trichotomous
We say is linearly ordered by ,
or simply is a linearly ordered set.
Notation
For
and
This satisfies:
- reflexivity
- antisymmetric:
- transitive:
- trichotomous:
A linear order (or total order) on a set
For
and
This satisfies: