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

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

= Normal C-star element
{synonym}

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