Quasiordnung

Einfache Sprache

Eine Quasiordnung ist eine Partielle Ordnung, bei der die antisymmetrie nicht erfüllt sein muss.

Def. Quasiordnung

Eine Homogene Relation $\precsim\subseteq A\times A$ heißt Quasiordnung, gdw.

1. $\precsim$ ist reflexiv.
2. $\precsim$ ist transitiv. P Die Äquivalenzrelation $\sim\subseteq A\times A$ wird wie folgt definiert: $$a_1\sim a_2\iff a_1\precsim a_2\land a_2\precsim a_1$$.