Geometric formula
= Geometric formula
A <geometric formula> is built from atoms by finite conjunction, arbitrary small disjunction and existential quantification. Empty conjunction and disjunction give truth and falsity. In a <Grothendieck topos>, these constructions use <finite limits>, unions and images. Formula contexts have finitely many variables.