Eine partielle Ordnung ist eine Relation, die reflexiv, antisymmetrisch und transitiv ist.
Beispiel: $\subseteq$ auf einer Potenzmenge ist partiell geordnet, aber nicht total geordnet.