Bonjour, je ne sais pas comment montrer les énoncés suivants sans parler de surjectivité :

On considère une application allant de X dans Y.
1. Montrer que pour A ⊂ X, on a A ⊂ .
2. Soit B ⊂ Y , existe-t-il des relations d'inclusion entre B et f(f⁻¹(B)) ?

Tout d'abord je suis d'accord avec l'énoncé, en prenant par exemple l'application x² de R dans R+.
En prenant A = R+, on donc A ⊂ .
Cependant nous n'avons pas encore parlé de surjectivité. Est-ce que cela suffit de dire que " contient les antécédents de f(A) donc A mais rien n'empêche qu'un f(A) ∈ Y ait plusieurs antécédents dont certains en dehors de A alors A ⊂ "

Pour la 2, je suppose que c'est la même chose ?