Positive part
From Measure
[edit]
Definition
[edit]
Definition with symbols
Let
be a lattice-ordered group. The
positive part function is a map
defined as:
This map is idempotent, viz it is identity on any positive element
(viz element of G + ).
[edit]

