Partiell geordnete Menge

Aus Infostudium Wiki

Wechseln zu: Navigation, Suche

Definition

$(M, \underline{\triangleleft})$

Abkürzung: p. g. M.

$x \underline{\triangleleft} x \quad \forall x \in M$

$x \underline{\triangleleft} y$ und $y \underline{\triangleleft} x \quad \Rightarrow \quad x = y$

$x \underline{\triangleleft} y$ und $y \underline{\triangleleft} z \quad \Rightarrow \quad x = z$

$\underline{\triangleleft}$ heißt Totalordnung

$:\Leftrightarrow \forall x,y \in M$ entweder $x \underline{\triangleleft} y$ oder $y \underline{\triangleleft} x$

Von „http://wiki.infostudium.de/wiki/Partiell_geordnete_Menge“

Kategorie: Diskrete Strukturen

Ansichten

Persönliche Werkzeuge

Anmelden

Suche

Werkzeuge