# Partially Ordered Set

Jump to: navigation, search

Let $P$ be a set and let $\leq$ be a relation on $P$. We say that $\leq$ is a partial order when it is reflexive, antisymmetric, and transitive. In this situation, we say that $(P, \leq)$ is a partially ordered set.