Y para probar que f no es sobreyectiva basta encontrar un subconjunto de "A" que no sea la imagen de ningún elemento de "A" a través de "f".