an identity element (such as 0 in the group of whole numbers under the operation of addition) that in a given mathematical system leaves unchanged any element to which it is added