Normal element of a C-star algebra (source code)

= Normal element of a C-star algebra
{c}

An element $x$ of a <C-star algebra> is normal when $x^*x=xx^*$.