Definition: Strict Total Order
A strict total order of a set is a strict partial order of in which any two elements are comparable:
Definition: Strict Total Order
A strict total order of a set A is a strict partial order of A in which any two elements are comparable:
a<b or b<a∀a,b∈A