Regular formula
= Regular formula
A regular formula is built using the constructors of <regular logic>, with a finite variable context. The image of a definable relation interprets an existential quantifier. Regular formulas remain regular after substitution, conjunction and existential quantification.