Las funciones suprayectivas recorren todo el codominio, por lo que ninguna anti-imagen puede estar vacía.