Relációk szorzata
A Wikipédiából, a szabad lexikonból.
Legyen ρ1 és ρ2 az -n értelmezett reláció, ahol A tetszőleges nemüres halmaz. Az ρ1 és ρ2 relációk szorzatát – ami szintén
-n értelmezett és amit
-vel jelölünk – a következő módon definiáljuk.
Bármely -ra a akkor áll b-vel az
relációban, ha van olyan c eleme A-nak, melyre teljesül, hogy a és c az ρ1 míg c és b az ρ2 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