Baustein:Antisymmetrie

Aus VoWi
Zur Navigation springen Zur Suche springen
Antisymmetrie[Bearbeiten, WP, 1.60 Definition]

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