Definition:Universal Categorical Statement

Definition
A universal categorical statement is either one of: