Definition med en øvelse.

Hej derude. Jeg vil forstå en definition i Diskrete Matematik. Der er stillet en øvelse.
Vil nogen hjælpe med forstå definitionen ved følgende øvelse.

Definition lyder som:
Definition 253:
Lad A og B være ikke tomme mængder. En relation mellem A og B kaldes en afbildning eller en funktion fra A ind i B (og vi skriver , hvis følgende to krav er opfyldt:
1. For alle x ∈ A findes et y ∈ B, så at   (eller (x, y) ∈ f).

2. Hvis og  (eller (x, y1) ∈ f    og (x, y2) ∈ f), da gælder at .

Øvelserne: Lad A = {1, 2, 3, 4} og B = {a, b, c, d}. Afgør, om følgende delmængder af A × B er afbildninger fra A ind i B.
1. {(1, a),(2, b),(3, c),(4, d)}.
2. {(1, a),(2, a),(3, b),(4, b)}
3. {(1, a),(1, b),(2, c),(2, d),(3, a),(4, d)}
4. {(1, a),(2, c),(3, b)} 

Min svar til øvelsen er:
Øv. 1:   A × B er afbildninger fra A ind i B  baseret i 1.
Øv.2 :   A × B er  afbildninger fra A ind i B  baseret i 2.
Øv. 3 :  A × B ikke er  afbildninger fra A ind i B  baseret i 2.
Øv. 4:  A × B er  afbildninger fra A ind i B  baseret i 1.

Vil nogen derude rette mig, hvis jeg har misforstået definitionen, og skrive hvad definitionen mener, at man skal gør, for at løse opgaven?

På forhånd tak