donde "P(Q)" es el conjunto potencia de "Q".