Total Strict Order Relation
Jump to navigation
Jump to search
A Total Strict Order Relation is a Transitive Antisymmetric Irreflexive Binary Relation (a Partial Order Relation) that is also a Total Relation (for some given set).
- AKA: Total Strict Partial Order Relation, Strict Total Order Relation, Total Strict Partial Order.
- Context:
- It is associated to an Ordered Set.
- Example(s):
- GreaterThan Relation associated to The Number Line.
- Counter-Example(s):
- GreaterThanOrEqualTo Relation associated to The Number Line.
- See: Total Weak Order Relation, Non-Total Strict Order Relation.