Es un conjunto preordenado, si cumple: