(n)universal, universal proposition(logic) a proposition that asserts something of all members of a class