Identity property of addition

The identity property of addition is the notion that addition has an additive identity.