| dbo:abstract
|
- 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ó. (hu)
- 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ó. (hu)
|
