In category theory, a preordered set (or preordered set) is a set equipped with a reflexive and transitive binary relation. More formally, a preordered set \( (P, \leq) \) consists of a set \( P \) and a relation \( \leq \) such that: 1. **Reflexivity**: For all \( x \in P \), \( x \leq x \).
