Esta relación es el origen de la notación para el conjunto potencia.