Notations for operations involving order and algebraic structure #
Notations #
a⁺ᵐ = a ⊔ 1
: Positive component of an elementa
of a multiplicative lattice ordered groupa⁻ᵐ = a⁻¹ ⊔ 1
: Negative component of an elementa
of a multiplicative lattice ordered groupa⁺ = a ⊔ 0
: Positive component of an elementa
of a lattice ordered groupa⁻ = (-a) ⊔ 0
: Negative component of an elementa
of a lattice ordered group
The positive part of an element a
.
Equations
Instances For
The negative part of an element a
.
Equations
Instances For
The positive part of an element a
.
Equations
Instances For
The negative part of an element a
.