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

Partial Order**

A partial order \((P,\leq)\) is a set \(P\) equipped with a relation \(\leq\) 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.