Para $ \phi: \mathbb{N} \mapsto \mathbb{Z}$ definamos \[ M_{\phi} = \{f: \mathbb{N} \mapsto \mathbb{Z}, f(x) > f(\phi(x)), \forall x \in \mathbb{N} \}.\] Demuestra que si $ M_{\phi_1} = M_{\phi_2} \neq \emptyset,$ entonces $ \phi_1 = \phi_2.$ ¿Esta propiedad sigue siendo verdadera si \[ M_{\phi} = \{f: \mathbb{N} \mapsto \mathbb{N}, f(x) > f(\phi(x)), \forall x \in \mathbb{N} \}?\]