Positive part

From Measure

Jump to: navigation, search

Definition

Definition with symbols

Let (G,+,\le) be a lattice-ordered group. The

positive part function is a map G \to G^+ defined as:

x \mapsto x^+ = x \vee 0

This map is idempotent, viz it is identity on any positive element

(viz element of G + ).

Related notions


Personal tools

sl
דומיין בעברית  דומיין  דומין  תוכנה לניהול  קשרי לקוחות  CRM, ניהול קשרי לקוחות  דומין בעברית  פורומים  ספרדית  גיבוי