Beachte die unterschiedlichen Pfeile.
- A→B: Definitionsmenge der Abbildung ist A, Zielmenge ist B.
- A↦B: Das Element A der Definitionsmenge wird auf das Element B der Zielmenge abgebildet.
Die Abbildung ψ bildet die Menge
G/(H1∩H2)
auf die Menge
G/H1×G/H2
ab indem jedem
g(H1∩H2)∈G/(H1∩H2)
das Element
(gH1,gH2)∈G/H1×G/H2
zugeordnet wird.