Downwards Absolute

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 Lemma.