\begin{definition}[Definition:Real Star-Algebra]
Let $A = \left({A_F, \oplus}\right)$ be an star-algebra whose conjugation is denoted $*$.
Then $A$ is a '''real $*$-algebra''' {{iff}}:
:$\forall a \in A: a^*= a$
\end{definition}