Quantifier-Free Type

The set of quantifier‑free formulas in a fixed tuple of variables that a given tuple realizes in a structure or that are consistent with a theory; it records only atomic and Boolean combinations of atomic information, omitting quantified statements.