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