A formula with unchanged truth value between the specified models, using parameters shared by them. Usually the models in set-theoretic applications are transitive and nested; the class of models is part of the assertion of absoluteness.
New to topics? Read the docs here!