Generalmente hablando, la tricotomía es la propiedad de una teoría del orden formula_1 en un conjunto formula_2 que para cada formula_3 e formula_4, se tiene una sola de las siguientes relaciones: formula_5, o formula_6.