Demuestre que la función \( f : A\rightarrow{B} \) es inyectiva si y solo si para todo Y con un solo elemento o vacío, \( Y\subset{B} \) se tiene que la cardinalidad de \( f^{-1} \) (Y) no es mayor que 1.
Aquí adjunto como lo he resuelto.

Es correcto?