Construimos un elemento queY∈P(X) no está en el rango de la función agregandox∈X aY iff nox está en el elemento deP(X) indexado porx (es decir, nox está en el image...Construimos un elemento queY∈P(X) no está en el rango de la función agregandox∈X aY iff nox está en el elemento deP(X) indexado porx (es decir, nox está en el imagen dex debajo de la función).