Source: wikibot/partially-ordered-space
= Partially ordered space
{wiki=Partially_ordered_space}
In mathematics, a **partially ordered set** (or **poset**) is a set combined with a binary relation that satisfies three properties: reflexivity, antisymmetry, and transitivity. These properties enable us to compare elements of the set in a way that is not necessarily total, meaning not every pair of elements needs to be comparable. 1. **Reflexivity**: For every element \\( a \\) in the set, \\( a \\leq a \\).