Total order
= Total order
{wiki}
A total order is a reflexive, antisymmetric, transitive relation in which every two elements are comparable.
= Total order
{wiki}
A total order is a reflexive, antisymmetric, transitive relation in which every two elements are comparable.