Total Weak Partial Order Relation

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.

---