Legyen
és
az
-n értelmezett reláció, ahol
tetszőleges nemüres halmaz. Az
és
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
akkor áll
-vel az
relációban, ha van olyan
eleme
-nak, melyre teljesül, hogy
és
az
míg
és
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ó.
S. Burris – H. P. Sankappanavar: Bevezetés az univerzális algebrába. Tankönyvkiadó, Budapest, 1988