Definition: Strict Total Order

A strict total order of a set is a strict partial order of in which any two elements are comparable: