# PartialOrder¶

The class of partially ordered sets, that is sets equipped with transitive and reflexive relation <=.
x < y is a less than test.
x <= y is a less than or equal test.
x > y is a greater than test.
x >= y is a greater than or equal test.