LetX0′ denotar el conjunto de elementos en losX′ que satisfacer ninguna de las propiedades enQ (en otras palabras, aquellos que satisfacen sóloPk+1 deP), y dejar\(X_0...LetX0′ denotar el conjunto de elementos en losX′ que satisfacer ninguna de las propiedades enQ (en otras palabras, aquellos que satisfacen sóloPk+1 deP), y dejarX_0″ denotar el conjunto de elementos de losX″ cuales satisfacer ninguna de las propiedades enQ, y por lo tanto ninguna de las propiedades en\mathcal{P}.