[n] an operator that leaves unchanged the element on which it operates; "the identity under numerical multiplication is 1"
identity, identity element