3.7.174. Order constraint

A constraint involving an ordering relation in its definition. An ordering relation R on a set S is a relation such that, for every a,b,cS:

  • a R b or b R a,

  • If a R b and b R c, then a R c,

  • If a R b and b R a then a=b.