Type sans Quantificateurs

L'ensemble des formules sans quantificateurs en un tuple de variables donné que réalise un tuple dans une structure ou qui est cohérent avec une théorie ; il ne contient que les formules atomiques et leurs combinaisons booléennes, en omettant les formules quantifiées.