Reláció inverze
A Wikipédiából, a szabad lexikonból.
Legyen ρ az
-n értelmezett reláció, ahol A tetszőleges nemüres halmaz. Az ρ reláció inverzét - ami szintén
-n értelmezett és amit
-vel vagy ρ − 1-gyel szoktak jelölni - a következő módon definiáljuk.
Bármely
-ra a akkor áll b-vel az
relációban, ha van b és a az ρ relációban állnak egymással.
Ugyanez formálisabban:

Vegyük észre, hogy a definíció csak homogén és binér relációkra alkalmazható.
[szerkesztés] Forrás
S. Burris - H. P. Sankappanavar: Bevezetés az univerzális algebrába. Tankönyvkiadó, Budapest, 1988


Based on work by