A particular zero function is a zero morphism in category theory; e.g., a zero map is the identity in the additive group of functions. The determinant on non-invertible square matrices is a zero map. Several branches of mathematics have zero elements, which generalize either the property 0 + x = x, or the property 0 · x = 0, or both.