La relación pertenencia entre los conjuntos potencia de A, es un conjunto parcialmente ordenado, al ser reflexiva: