#for all #universal quantifier #covering set #inclusive scope