Eigenschaft Relationen (Definition 41)

Wenn aRb v bRa

Wenn aRb => nicht (bRa)

Wenn aRb ^ bRa => a=b

Wenn aRb => bRa

Wenn aRa

Wenn aRb ^ bRc => aRc

Wenn genau einer der Fälle eintritt: aRb , bRa , a=b

Wenn a≠b => aRb v bRa

Reflexiv, antisymmetrisch, transitiv

Antisymmetrisch

Transitiv

Total

Asymmetrisch

Transitiv

Trichotom

Transitiv

Reflexiv

Transitiv

Symmetrisch

Jeder Zielwert in der rechten Menge hat einen eindeutigen und nur einen Quellwert in der linken Menge

Alle Zeilwerte in der rechten Menge werden erreicht

In der Definitionsmenge gibt es keine Elemente, die nicht mit mindestens einem Element in der Quellmenge verknüpft sind

Kein Elemnet aus der Zielmenge wird von mehr als einem Element aus der Quellmenge zugeordnet

Jedes Element in der Quellmenge hat höchstens einen Partner in der Zielmnege, d.h. Es darf von jedem linken Element nur ein Pfeil ausgehen

Jedes Element der Zielmenge ist mindestens einem Element der Quellmenge zugeordnet, d.h. Es gibt keinen Wert in der Zielmenge, der nicht getroffen wird