Preordered class (
original
) (
raw
)
In mathematics, a preordered class is a class equipped with a preorder.