Past exam of the mathematics course of the University of Cambridge / 2018 / iii / Paper 121 / 1 / iv / a

For every tuple of parameters $\bar{a}\in M^n$, a downward absolute formula transfers truth from the larger structure to the smaller one:The condition concerns every parameter tuple from $M$, not merely parameter-free sentences.