noun an identity element (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