ordinamento totale
ordinamento totale ordinamento su un insieme A rispetto al quale non esistono elementi di A non confrontabili: se x, y ∈ A e ρ è l’ordinamento definito su A, allora vale una (e una sola) delle due seguenti possibilità: x ρ y oppure y ρ x. L’insieme A è allora detto totalmente (o linearmente) ordinato (→ ordinamento).