additive identity

Definition

An element of an algebraic structure, generally denoted 0, which is an identity for an additive operation (generally denoted +). That is, x + 0 = 0 + x = x for any x in the structure.