invariant under

subject is unchanged by this process / function / group of transformation / equivalence relation