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$ :
 * $A \ne \O$
 * $A$ is a transitive class

and:
 * $A \models p$