Definition:Ordering/Also defined as

Ordering: Also defined as

1955: John L. Kelley: General Topology defines an ordering as a transitive relation.

He also allows the synonyms partial ordering (which this is), and quasi-ordering (which is generally used as a synonym for preordering).

This approach glosses over the antisymmetric nature of an ordering, and in fact what is ended up with appears to be what on $\mathsf{Pr} \infty \mathsf{fWiki}$ is defined as a strict ordering.

This approach is not used on $\mathsf{Pr} \infty \mathsf{fWiki}$.

Sources

• 1955: John L. Kelley: General Topology ... (previous) ... (next): Chapter $0$: Orderings