EDB — 24W

[24W]The above is the definition in [ 3 ] ; in other texts, a relation between elements of $A$ that enjoys the properties: reflexive, antisymmetrical, transitive is straightforwardly called partial order. (cf Example 2.1.1 in [ 15 ] where moreover a total order is called linear order). For this reason we will sometimes add a “(partial)” to state that the order being discussed may be partial.