Un subconjunto "T" de "P" es "totalmente ordenado" si para cualesquiera "s", "t" ∈ "T" se tiene "s" ≤ "t" o "t" ≤ "s".