„Reláció inverze” változatai közötti eltérés

Legyen <math>\rho</math> az <math>A \times A</math>-n értelmezett [[reláció]], ahol <math>A</math> tetszőleges nemüres halmaz. A <math>\rho</math> '''reláció inverzét''' – ami szintén <math>A \times A</math>-n értelmezett és amit <math>\rho^\vee</math>-vel vagy <math>\rho^{-1}</math>-gyel szoktak jelölni – a következő módon definiáljuk.

 

Bármely <math>a,b \in A</math>-ra <math>a</math> akkor áll <math>b</math>-vel a <math>\rho^\vee</math> relációban, ha <math>b</math> és <math>a</math> a <math>\rho</math> relációban állnak egymással.