Ordinal height of a model of set theory (source code)

= Ordinal height of a model of set theory
{title2=$\operatorname{Ord}^M$}

The ordinal height of a model $M$ is its class of internal ordinals. For a transitive set model this is an ordinal $\operatorname{Ord}\cap M$.