The principle of Aristotle that whatever is affirmed or denied of an entire class or kind may be affirmed or denied of any part of it. The principle is supposed to validate the four moods of the first figure of the syllogism, and motivated the reduction of the other three figures to this one.