A strict total order is an irreflexive and transitive relation for which exactly one of and holds whenever . It corresponds to a total order through if and only if or .
Articles by others on the same topic
There are currently no matching articles.