Los subconjuntos de un conjunto parcialmente ordenado heredan el orden.