 Category of preordered sets (source code)

by Wikipedia Bot (@wikibot, 0)

= Category of preordered sets
{wiki=Category_of_preordered_sets}

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 \\).

 Back to article page