Existential sentence
= Existential sentence
{title2=$\exists\mathbf x\,\theta(\mathbf x)$}
An existential sentence has a block of existential quantifiers followed by a <quantifier-free formula>. Empty blocks are allowed. These sentences are preserved when a <first-order structure> embeds into another structure.