Definition
72
[1Y5] An order relation (or simply order) is a relation between elements of \(A\) that enjoys the properties: reflective, antisymmetrical, transitive.
An order relation is total if all elements are comparable, i.e. if for every \(a,b β A\) you have \(aRb β¨ bRa\).
(When an order relation is not total, it is said to be partial).
Symbols such as β\(β€\)β or β\(β\)β or β\(βͺ―\)β or similar are generally used.