Theoretische Informatik - Äquivalenzrelation

Nächste Seite: Formale Sprachen Aufwärts: Allgemeines Vorherige Seite: Funktionen Inhalt

Äquivalenzrelation

Eine Äquivalenzrelation ist reflexiv, transitiv und symetrisch:

Für die Relation $\Re$
reflexiv	Für alle $x \in X$ gibt es $x\Re x$
transitiv	Für alle $x,y,z \in X$ gilt $x\Re y$ und $y \Re z$ $\Rightarrow$ $x\Re z$
symetrisch	Wenn für $x,y \in X$ $x\Re y$ gilt, dann gilt auch $y\Re x$