Baustein:Antisymmetrie

Aus VoWi
Wechseln zu: Navigation, Suche

Antisymmetrie[Bearbeiten, WP, 1.60 Definition]

\forall a,b\in M:\quad aRb\wedge bRa\Longrightarrow a=b