Из двух множеств, связанных отношением «является разновидностью», одно является подмножеством другого. Например, множество попугаев является подмножеством множества птиц, множество натуральных чисел является подмножеством множества целых чисел.
Подмножество объектов, имеющих общие признаки, называется классом. Деление множества объектов на классы называется классификацией. Признаки, по которым один класс отличается от другого, называются основанием классификации.
Классификация называется искусственной, если в качестве ее основания взяты несущественные признаки объектов. К искусственным классификациям относятся вспомогательные классификации (алфавитно-предметные указатели, именные каталоги в библиотеках). Пример искусственной классификации - деление множества звезд на небе на созвездия, проводившееся по признакам, которые к самим звездам не имели никакого отношения.