# Order Relation

Jump to navigation
Jump to search

An Order Relation is an Binary Relation that is a Transitive Relation and also either in a Symmetric Relation, an Antisymmetric Relation, Reflexive Relation or an Irreflexive Relation.

**AKA:**Ordered, Order Function.**Context:**- It can be a Total Order Relation (if it is also a Total Relation).

**Example(s):****See:**Order Theory, Unordered Relation.