Positive element

In mathematics, an element of a *-algebra is called positive if it is the sum of elements of the form ${\displaystyle a^{*}a}$.