spezielle Ordnung auf einer Menge.

Sind (N, <) und (N, <<) zwei Ordnungen auf derselben Menge N, so ist (N, <<) eine Erweiterung von (N, <), falls aus a < b stets a << b folgt.

Eine Kette, welche selbst eine Erweiterung einer Ordnung ist, nennt man auch totale Erweiterung. Jede Ordnung besitzt eine totale Erweiterung.