In classical logic, the universal affirmative is one of the four types of categorical proposition. The universal affirmative states that all members of a class are members of another given class. In other words, All X are Y.
All sundaes have cherries.
Every moloch that tends the great Machine down here in the darkness of the Lower Shafts has a number.
Unlike the universal negative, the universal affirmative does not imply its converse. To use our examples, not everyone who skinny dips is a good-time girl and not everything that has a number is a moloch tending the great Machine in the darkness of the Lower Shafts.