Existential sentence

ID: existential-sentence

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.

New to topics? Read the docs here!