Preordered class
Class equipped with a preorder
In
mathematics
, a
preordered class
is a
class
equipped with a
preorder
.