Let be a set, and a transformation of that set. We say that is an invariant of whenever is fixed by :