Operationen auf Relationen

• weil Relationen Mengen sind, stehen die Mengen-Operationen zur Verfügung
• das Spiegelbild einer zweistelligen Relation:

  $\overline{{R}}$ = {(b, a) | (a, b)∈R}

• das Produkt von zwei zweistelligen Relationen:

  R⊆A×B, S⊆B×C,(RoS)⊆A×C

  RoS : = {(x, z) | ∃y∈B : (x, y)∈R∧(y, z)∈S}

Übungen: „punktfreie`` Notation von Eigenschaften

• R symmetrisch $\iff$ R = $\overline{{R}}$,
• R transitiv $\iff$ ...