Order Relation

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):
  • A Partial Order Relation.
  • A Preorder Relation.
  • A String Order Function.
• See: Order Theory, Unordered Relation.

---