+A **partial order** is a fundamental binary [Relation](/wiki/relation) that brings structure to a [Set](/wiki/set), allowing some elements to be compared. Unlike a [Total Order](/wiki/total_order) where every pair is comparable, a partial order embraces the possibility of elements being incomparable, revealing a more nuanced hierarchy.
+## See also
+- [Poset](/wiki/poset)
+- [Lattice](/wiki/lattice)
+- [Order Theory](/wiki/order_theory)