Durch eine solche Umdefinition wird der Antihomomorphismus zu einem Homomorphismus in der neuen Verknüpfung. Bei Antiendomorphismen (und Antiautomorphismen) ist die Bezugnahme aber von vornherein doppelt, da die Verknüpfung in Definitionsmenge und Zielmenge dieselbe ist. Hier wird durch eine Umdefinition nichts gewonnen. == Weitere Eigenschaften...