Baustein:Transitivität

Aus VoWi
Zur Navigation springen Zur Suche springen
Transitivität[Bearbeiten, WP, 1.55 Definition]

\forall a,b,c\in M:\quad a\circ b\wedge b\circ c\Rightarrow a\circ c