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.