Page "Skolem normal form" Paragraph 18

Every Skolem theory is model complete, i. e. every substructure of a model is an elementary substructure.

Given a model M of a Skolem theory T, the smallest substructure containing a certain set A is called the Skolem hull of A.

The Skolem hull of A is an atomic prime model over A.