\begin{definition}[Definition:Conjugation (Abstract Algebra)]
Let $A = \left({A_F, \oplus}\right)$ be an algebra over a field $F$.
Let $C: A_F \to A_F$ be a mapping such that:
:$\forall a \in A: C \left({C \left({a}\right)}\right) = a$
:$\forall a, b \in A: C \left({a \oplus b}\right) = C \left({b}\right) \oplus C \left({a}\right)$
Then $C$ is called a '''conjugation''' on $A$.
\end{definition}