In model theory, there are several general results and definitions related to absoluteness.
Two structures are defined to be elementarily equivalent if they agree about the truth value of all sentences in their shared language, that is, if all sentences in their language are absolute between the two structures.