Topic summary
Preordered set
Extracted from the Wikipedia article Preorder.
Definition
A set that is equipped with a preorder is called a preordered set (or proset).
Topic summary
Extracted from the Wikipedia article Preorder.
A set that is equipped with a preorder is called a preordered set (or proset).