C-star identity ($\Vert a^{\ast }a\Vert =\Vert a{\Vert }^2$)

The C-star identity is the norm axiom $\Vert a^{\ast }a\Vert =\Vert a{\Vert }^2$. It implies that the involution is isometric and that a normal element has norm equal to its spectral radius.