universal quantification

logical quantification stating that a statement holds for all objects

Kategorien: