Let a be the class of (mathematically) standard models   of T′, and let V denote the full vocabulary   of T′: then S determines V in a   iff for any two models m and m′ in a, and   any bijection f between their domains, if f is   an S isomorphism, it is also a V isomorphism. (Hellman   1989, p. 132.)