\b[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>.

Solution

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

 Solution (source code)