Definition:Standard Transitive Model

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

Let $A$ be a class.

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