Mengen/Relation/Verschiedene Eigenschaften/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Relationseigenschaften

Sei eine Menge und eine Relation auf . Man nennt

    • reflexiv, wenn gilt für alle .
    • transitiv, wenn für beliebige aus und aus

    stets folgt.

    • symmetrisch, wenn für beliebige aus auch folgt.
    • antisymmetrisch, wenn für beliebige aus

    und die Gleichheit folgt.