Definition:Standard Transitive Model

Theorem
Let $p$ be a wff in the language of set theory.

Let $A$ be a [[Definition:Class|class].

Then $A$ is a standard transitive model of $p$ iff $A \ne \varnothing$, $A$ is a transitive class, and $A \models p$.