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