todos los elementos de un conjunto con orden total son "comparables".