 Positive element of a C-star algebra

An element $a$ of a C-star algebra is positive when $a=b^{\ast }b$ for some $b$, equivalently when $a=a^{\ast }$ and $\sigma (a)\subseteq [0,\infty )$. Continuous functional calculus gives it a unique positive square root $a^{1/2}$.