Total Weak Order Relation

A Total Weak Order Relation is a Transitive Antisymmetric Reflexive Binary Relation (a Partial Order Relation) that is a Total Relation.

• Example(s):
  • GreaterThanOrEqualTo Relation.
  • …
• Counter-Example(s):
  • GreaterThan Relation.
• See: Total Strict Order Relation.

---