Por lo que el conjunto de las partes de A, respecto a la relación binaria pertenencia es un conjunto parcialmente ordenado.