Diferencia entre revisiones de «Ley de tricotomía»

}}

La ley de tricotomía es equivalente a que la relación de orden ≤ sea [[orden total|total]], esto es, que dados dos elementos ''x'' e ''y'' se tenga ''x'' ≤ ''y'' o ''y'' ≤ ''x'' (o ambos). Las relaciones de orden de los [[números naturales]], [[números enteros|enteros]], [[números racionales|racionales]] y [[números reales|reales]] cumplen la ley de tricotomía (son órdenes totales). Sin embargo, la relación de [[subconjunto|inclusión]] ⊆ en los [[conjunto potencia|subconjuntos]] de un conjunto dado no la cumple: puede haber dos conjuntos incomparables tales que ninguno es subconjunto del otro.

 

== Enlaces externos ==