<-- Go Back Last Updated: 11/01/2025

Partial Order**

A partial order $(P,\le )$ is a set $P$ equipped with a relation $\le$ which is reflexive, antisymmetric, and transitive, e.g.$(\mathcal{P}(X),\subseteq )$, where $X$ is any set and $\mathcal{P}(X)$ is its power set.