Guarded fragment
= Guarded fragment
{wiki}
A relational fragment of <first-order logic> in which each quantification is guarded by an atom containing all the variables that must remain together in its scope. The usual fragment excludes nonconstant function symbols.