Si se utiliza el axioma de elección, entonces la tricotomía se utiliza entre cardinales arbitrarios (porque en ese caso todos están bien ordenados).