noun Mathematics. a map of a set to itself in which each element of a given subset of the set is mapped to itself.