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. A ρ 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 a relációban, ha b és a a ρ 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