Let
be a
-algebra.
An element
is called positive if
and
,
or equivalently if there exists an element
such that
.
For example, the positive elements of the -algebra of complex numbers are the nonnegative real numbers.
The set of all positive elements of denoted by
is called the positive part of
.