Ich habe jetzt schon mehrfach etwas von einem kommutativen Diagramm gelesen, kann mir jemand erklären was das ist? Meines erachtens wurde das bei Günther nicht definiert.

Das ist ein gerichteter Graph, dessen Knoten Mengen sind und dessen Kanten Abbildungen von einer Menge in die andere darstellen.
Z.B.:
A ----f----> B | | |m |g | | v v C ----n ---> D Mengen: A,B,C,D ; Abbildungen f,g,m,n Kommutativ bedeutet dann, dass g(f(x)) = n(m(x) f.a. x E A