1
Supongamos que x es cualquier elemento del conjunto M-(M-P),
X∈M-(M-P). Según la definición,
X∈M, mientras que
Por definición, x∈M, mientras que x∈p.
∴x∈P
En otras palabras, si x∈M-(M-P), debe haber x∈p.
El conjunto M-(M-P) está contenido en el conjunto P.
2
Supongamos x ∈ p.
Si x∈M, por definición, x∈/m-p.
∴x∈M-(M-P)
Si x ∈/m es fácil de saber, en este momento, x ∈/m-(m-p)
En resumen Como se mencionó anteriormente, sólo podemos decir que ∴
M-(M-P) está incluido en P,