Definition:Real Star-Algebra

Definition
Let $A = \struct {A_F, \oplus}$ be an star-algebra whose conjugation is denoted $*$.

Then $A$ is a real $*$-algebra :
 * $\forall a \in A: a^*= a$