Matematické Fórum

Potřeboval bych pomoci s následující úlohou.

Zadání:
Které z následujících výroků jsou pravdivé?
1)Zobrazení f:A→B je prosté (injektivní), jestliže pro každé x∈A existuje právě jedno y∈B splňující f(x)=y.
2)Zobrazení f:A→B je prosté (injektivní), jestliže pro každou dvojici x,y∈A, platnost rovnosti f(x)=f(y) implikuje x=y.
3)Zobrazení f:A→B je prosté (injektivní), jestliže pro každou dvojici x,y∈A, x≠y, platí f(x)≠f(y).
4)Zobrazení f:A→B je prosté (injektivní), jestliže pro každé y∈B existuje x∈A splňující f(x)=y.

Podle mě jsou odpovědi:
1)ano
2)bohužel nevím
3)ne
4)ano

Ale pro ověření bych potřeboval pomoc od někoho schopnějšího v matematice.
Předem děkuji.