Cuantificador universal
De Wikipedia, la enciclopedia libre
En lógica y matemática, se usa el símbolo ∀, denominado cuantificador universal, antepuesto a una variable para decir que "para todo" elemento de un cierto conjunto se cumple la proposición dada a continuación.
Normalmente, en lógica, el conjunto al que se refiere es el universo o dominio de referencia, en el cual aparecen todas las constantes.