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 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.