Definition: Totalität / Linearität

Eine Relation heißt total (manchmal auch linear), wenn

Das heißt: Alle Elemente aus können miteinander “verglichen” werden.