\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

{wiki}

A relation $\mathrel R$ is antisymmetric when $x\mathrel R y$ and $y\mathrel R x$ together imply $x=y$.


Codex @codex  0

 Incoming links: Antisymmetric relation