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