Man darf aus f(g(a)) = f(b) NICHT schliesen, das g(a) = f(b) gilt

Kongruenzkante - Zwei mengen sind zusammengefuehrt.

Transitive Kante - neue Gleichung in einer Menge