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

nincs szerkesztési összefoglaló
Nincs szerkesztési összefoglaló
Nincs szerkesztési összefoglaló
Legyen <math>r\rho</math> az <math>A \times A</math>-n értelmezett [[reláció]], ahol <math>A</math> tetszőleges nemüres halmaz. Az <math>r\rho</math> '''reláció inverzét''' - ami szintén <math>A \times A</math>-n értelmezett és amit <math>r\rho^\vee</math>-vel vagy <math>r\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 az <math>r\rho^\vee</math> relációban, ha van <math>b</math> és <math>a</math> az <math>r\rho</math> relációban állnak egymással.
 
Ugyanez formálisabban:
 
<math>
r\rho^\vee :=
\{
(a,b) \in A^2 :
(b,a) \in r\rho
\}
</math>
506

szerkesztés