mathswitch — infrastructure for relaying and exchanging mathematical concepts

universal quantification

logical quantification stating that a statement holds for all objects

Wikidata: universal quantification