Absolute formula
= Absolute formula
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.