Remark
6
[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.