categorical proposition

Also known as categorical statement

proposition that asserts or denies that all or some of the members of one category are included in another