# 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.