> [!NOTE] Definition (Total Strict Order) > A [[Binary Relation|binary relation]] is a *total strict order* iff it is a [[Trichotomy|trichotomy]], [[Transitive Relation|transitive]] and [[Irreflexive relation|irreflexive]]. > >