Relação inversa

Predefinição:Sem-fontes 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) $Ro{R}^{-1}=I{d}_B$.