Ahora define\[\begin{aligned} X_{e} &=\{x \in X \mid m(x) \text { is even }\} \\ X_{o} &=\{x \in X \mid m(x) \text { is odd }\} \\ X_{i} &=\{x \in X \mid m(x)=\infty\} \\ Y_{e} &=\{y \in Y \mid m(y) \...Ahora defineXe={x∈X∣m(x) is even }Xo={x∈X∣m(x) is odd }Xi={x∈X∣m(x)=∞}Ye={y∈Y∣m(y) is even }Yo={y∈Y∣m(y) is odd }Yi={y∈Y∣m(y)=∞} La colección{Xe,Xo,Xi} es obviamente una partición deX.