WordNet: universal quantifier

a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things

• hypernym kvanttori

universal quantifier

• (englanti) universal quantifier (synonyymi)