Nel post segnato l'utente dà la definizione di immagine
l'immagine è il sottoinsieme del codominio data dagli elementi che soddisfano la seguente:
sono gli elementi $y\inB$ tali che esiste una $x\inA$ tale che $y=f(x)$
ove siano A dominio e B codominio.
E @gugo aiuta interpretandola pragmaticamente:
Cosa significa in pratica?
Beh, significa che $y in text(Im)f sub B$ se e solo se l’equazione $f(x) = y$ nell’incognita $x$ ha almeno una soluzione in $A$.
Noto quindi che il "tale che" viene letto come un "se e solo se".Ma èquesto il significato del tale che?
Non riesco bene a capire questo operatore logico appieno, e non vorrei fare errori base su questo.
Grazie a chi interverrà:)