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


Based on work by