Quantificatore.

Mat. - Simbolo usato per indicare se una proprietà è verificata per tutti gli elementi di un insieme o soltanto per alcuni di essi.