Recordemos queX/f es la colección de subconjuntos de niveles deX, con respecto af, y es una partición deX. ¿Por qué no simplemente elegir un elemento de cada clase de equivalencia y\...Recordemos queX/f es la colección de subconjuntos de niveles deX, con respecto af, y es una partición deX. ¿Por qué no simplemente elegir un elemento de cada clase de equivalencia yg definir como la función deX/f aX definida por estas elecciones? Caso base:n=2. X1×X2=⋃x∈X2X1×{x}Para cada unox∈X2,|X1|=|X1×{x}|. Por Corolario 6.18,X1×X2 es contable.