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
.