Relação inversa

Analogamente ao conceito de função inversa, podemos definir a relação inversa da relação $R\subset A\times B\,$:

$R^{-1}=\{(y,x)\in B\times A|(x,y)\in R\}\,$

Note-se que nem sempre (aliás, quase nunca) $RoR^{-1}=Id_{B}\,$.