🅟 Feb 22, 2026
🅤 Feb 22, 2026
Set Theory > Orders
DEF-ODR-PRO. Preorder. A preorder on $X$ is a binary relation on $X$ that is reflexive and transitive (DEF-RP).
DEF-ODR-PRO. Preorder.
A preorder on $X$ is a binary relation on $X$ that is reflexive and transitive (DEF-RP).