 C-star identity

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.