Existential formula ($\exists \mathbf{y}\theta (\mathbf{x},\mathbf{y})$)

An existential formula is an existential block followed by a quantifier-free formula, with remaining free variables serving as parameters. Truth is preserved by structure embeddings. Reflection of truth for every such formula defines an existential embedding.