Wenn man für eine endliche Menge $A$ mit $n=|A|$ Elementen nur eine partielle Ordnung hat, funktioniert das Sortieren nicht. (Warum nicht?)

Es gibt aber einen entsprechenden Satz, der besagt, dass man $A$ mit seiner partiellen Ordnung topologisch sortieren kann, d.h. es gibt immer (mindestens) eine Nummerierung $A=\{x_1,x_2,\ldots,x_n\}$, für die gilt:

$\forall i,j\in\{1,\ldots,n\}: x_iRx_j \Rightarrow i\leq j$.

Beweise mithilfe dieses Satzes folgende Aussage: Zu jeder partiellen Ordnung $R$ auf einer endlichen Menge $A$ gibt es eine totale Ordnung $R'$ mit $R\subseteq R'$. (In Worten: Jede partielle Ordnung auf einer endlichen Menge kann ich "durch Hinzufügen von Pfeilen"' zu einer totalen Ordnung ausbauen.)