Los tipos antedichos de orden tienen una propiedad especial: cada elemento se puede "comparar" con cualquier otro elemento, es decir es o mayor, o menor, o igual.