Bin selbst kein Experte, aber |A| ist die Mächtigkeit der Menge, also die Anzahl der Elemente in A. Also bedeutet |A| = |B|, das A genauso viele Elemente wie B hat.
Jetzt haben wir ja die Funktion f, die Elemente aus A auf B abbildet. Diese FUnktion ist injektiv, also wird jedes a aus A auf maximal ein b aus B abgebildet. Wenn jetzt aber beide Mengen gleich viele Elemente haben, dann ist das ganze auch surjektiv, da jedes Element b aus B mindestens von einem a aus A getroffen wird.
Also Injektiv: Jedes Element aus A hat "sein eigenes Element" aus B, auf das es abbildet, es bilden nicht 2 Elemente aus A auf dasselbe Element in B ab.
Surjektiv: Auf jedes Element von B zeigt mindestens ein Element aus A.
Das musst du jetzt mathematisch zeigen, aber vielleicht hilft dir das ja schonmal