A class is a collection of objects that have in common some specified characteristic. “Categorical propositions” are statements about classes.

Ruggero J. Aldisert, Agatha D. Aldisert, Logic for Lawyers- A Guide …, loc. 381