Mo Logo [Home] [Lexikon] [Aufgaben] [Tests] [Kurse] [Begleitmaterial] [Hinweise] [Mitwirkende] [Publikationen] Englische Flagge

Mathematik-Online-Lexikon:

Eigenschaften von Relationen


A B C D E F G H I J K L M N O P Q R S T U V W X Y Z Übersicht

Eine Relation $ R\subseteq A^2$ in einer Menge $ A$ heißt

Ist eine Relation reflexiv, symmetrisch und transitiv, so wird sie Äquivalenzrelation genannt. Es wird dann meist $ a\sim b$ statt $ a \operatorname{R}b$ geschrieben. Eine Äquivalenzrelation unterteilt die Menge $ A$ in disjunkte Teilmengen (Äquivalenzklassen), wobei zwei Elemente einer Teilmenge zueinander in Relation stehen (äquivalent sind), während zwei Elemente aus unterschiedlichen Teilmengen dies nicht tun.

Ist eine Relation reflexiv, antisymmetrisch und transitiv, so ist sie eine Halbordnung und man schreibt meist $ a \leq b$ statt $ a \operatorname{R}b$. Ist eine Halbordnung zusätzlich total, heißt sie (totale) Ordnung und $ A$ heißt durch $ \leq$ geordnet.

(Autor: J. Hörner)

[Beispiele] [Verweise]

  automatisch erstellt am 19.  6. 2007