Mengen/Relation/Verschiedene Eigenschaften/Definition

Relationseigenschaften

Es 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.