PartialOrder

catdef.spad line 1104 [edit on github]

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

<=: (%, %) -> Boolean

x <= y is a less than or equal test.

<: (%, %) -> Boolean

x < y is a less than test.

>=: (%, %) -> Boolean

x >= y is a greater than or equal test.

>: (%, %) -> Boolean

x > y is a greater than test.