Main entry: universal, universal proposition
Definition: (logic) a proposition that asserts something of all members of a class