Ord as a subclass of the universe of a model

Printable View