Eine Relation ist eine lineare Ordnung, wenn sie eine Halbordnung ist und zusätzlich total (siehe totale Relation).