Categorical Proposition:
A categorical proposition is simply a statement about the relationship between categories. It states whether one category or categorical term is fully contained with another, is partially contained within another or is completely separate.