Una relación de orden formula_155 que es conexa en formula_1, se dice "relación de orden total", u "orden total", sobre formula_1, y se dice que el par formula_171 es un conjunto "totalmente ordenado".