Let \(\le \) be reflexiv, antisymmetric and transitiv relations on some set \(X\). Then \(X\) is called partially ordered and the relation is called partial ordering.
Examples Link to heading
- Let \(\mathcal{P}(X)\) be the power set of some set \(X\). Then \(\subseteq\) defines a partial order on \(\mathcal{P}(X)\).