A regular formula is a formula R such that .
A formula L is co-regular if its dual is regular, that is if .
A connective c of arity n is regular if for any regular formulas R1,...,Rn, is regular.
Proposition (Regular connectives)
More generally, is regular for any formula A.