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