Let and be Structures for a Language such that Let be a formula in Free Variables. We say that is absolute between and if where we use to mean is Satisfied in Lemma Suppose formula is downwards absolute between and . Then is downwards absolute. Proof Similar as in Upwards Absolute > Lemma.