Definition (Absolute function). Let $M$ a transitive set, and $F:M^n\to M$ (note that this means that $M$ is closed under $F$). We say $F$ is absolute for $M$ if there is a formula $\mathrm{\Phi }$ which is absolute for $M$ such that