\begin{definition}[Definition:Antihomomorphism/Group Antihomomorphism]
Let $\struct {S, \circ}$ and $\struct {T, *}$ be groups.
Then $\phi: S \to T$ is a '''group antihomomorphism''' {{iff}}:
:$\forall x, y \in S:\map \phi {x \circ y} = \map \phi y * \map \phi x$
Category:Definitions/Group Theory
Category:Definitions/Antihomomorphisms
\end{definition}