Additive Relation

Definition

Additive Relation

A relation is called additive if

$$\forall x,y,z\left(xRy⟹(x+z)R(y+z)\right).$$