Total order (source code)

= Total order
{wiki}

A total order is a reflexive, antisymmetric, transitive relation in which every two elements are comparable.