En la definición de un dominio integral ordenado, o campo ordenado, la ley de tricotomía es usualmente tomada como más fundacionalo que la ley de orden total.