Ich bezeichne mal mit [mm] $1_X$ [/mm] die triviale Relation auf $X [mm] \times [/mm] X$ und [mm] $1_Z$ [/mm] die triviale Relation auf $Z [mm] \times [/mm] Z$.
Die Relation [mm] $(S*R)^{-1}$ [/mm] ist definiert also die (eindeutig bestimmte) Relation $T$ auf $Z [mm] \times [/mm] X$ mit den Eigenschaften:
![[willkommenmr]](/images/smileys/willkommenmr.png "[willkommenmr]")
