PartialOrderΒΆ

catdef.spad line 1097

The class of partially ordered sets, that is sets equipped with transitive and reflexive relation <=.

<: (%, %) -> Boolean
x < y is a less than test.
<=: (%, %) -> Boolean
x <= y is a less than or equal test.
>: (%, %) -> Boolean
x > y is a greater than test.
>=: (%, %) -> Boolean
x >= y is a greater than or equal test.