An operator that leaves unchanged the element on which it operates.
Special type of element of a set with respect to a binary operation on that set, which leaves other elements unchanged when combined with them.