Relationenprodukt, inverse Relation
Relationen sind spezielle Mengen, so daß zwischen Relationen die üblichen
Mengenoperationen ausgeführt werden können.
Für zweistellige Relationen sind darüber hinaus das Relationenprodukt und die
inverse Relation von Bedeutung.
Es seien 
und 
zweistellige Relationen.
Dann ist das Produkt 
der Relationen 
und 
durch
 |
(5.68) |
definiert.
Das Relationenprodukt ist assoziativ, aber nicht kommutativ.
Die inverse Relation 
einer Relation
ist durch
 |
(5.69) |
festgelegt.
Für binäre Relationen in einer Menge 
gelten folgende Beziehungen:
 |
(5.70) |
 |
(5.71) |
 |
(5.72) |
 |
(5.73) |
 |
(5.74) |
