Reflexivität:
Zu jeder Menge \(A\subseteq N\) gib eine Bijektion \(A\rightarrow A\) an.
Symmetrie:
Begründe: zu jeder Bijektion \(A\rightarrow B\) gibt es eine Bijektion \(B\rightarrow A\)
Transitivität:
Sind \(A\rightarrow B\) und \(B\rightarrow C\) Bijektionen, dann begründe, dass es eine
Bijektion \(A\rightarrow C\) gibt.
Begriffe wie Umkehrbarkeit und Hintereianderausführung sind dabei nützliche Begriffe.