Categorical propositions

Propositions that relate two classes or categories.