Past exam of the mathematics course of the University of Cambridge / 2019 / iii / Paper 121 / 1 / i / c / Solution

U+D. The assertion that a given relation is a partial order quantifies only over its underlying set and checks that it is a reflexive relation, an antisymmetric relation and a transitive relation. It is therefore a bounded formula in set theory and is absolute between transitive models.