- In mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as “given any”, “for all”, or “for any”. It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
- Norma (constellation) (Wikipedia)
Norma is a small constellation in the Southern Celestial Hemisphere between Ara and Lupus, one of twelve drawn up in the 18th century by French astronomer Nicolas-Louis de Lacaille and one of several depicting scientific instruments. Its name is Latin for normal, referring to a right angle, and is variously considered to represent a rule, a carpenter’s square, a set square or a level. It remains one of the 88 modern constellations.