Esta relación es un conjunto parcialmente ordenado.