Hallo,
Jeder Relation \(R\subseteq A\times B\) ordnen wir die Abbildung
\(f_R:A\rightarrow P(B)\) zu, für die gilt: \(f_R(a)=\{b\in B:\, (a,b)\in R\}\).
Die Umkehrabbildung hierzu ist so definiert, dass man jeder Abbildung \(f:A\rightarrow P(B)\)
die Relation \(R_f=\{(a,b) \in A\times B: \, b \in f(a)\}\) zuordnet.
Gruß ermanus