Topic summary
Total preorder
Extracted from the Wikipedia article Weak ordering.
Total preorders
Strict weak orders are very closely related to total preorders or (non-strict) weak orders, and the same mathematical concepts that can be modeled with strict weak orderings can be modeled equally well with total preorders. A total preorder or weak order is a preorder in which any two elements are comparable. A total preorder satisfies the following properties:
