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