Модели

Разновидности объектов

Из двух множеств, связанных отношением "является разновидностью", одно является подмножеством другого. Например, множество попугаев является подмножеством множества птиц.

Схему отношений "является разновидностью" мы будем называть схемой разновидностей.

На схеме разновидностей имя подмножества всегда располагается ниже имени включающего его множества. Объекты подмножества обязательно обладают всеми свойствами объектов множества и кроме них, имеют ещё своё, дополнительное свойство. Этим дополнительным свойством может быть характеристика или действие. Например, любое домашнее животное нужно кормить, собаки ещё лают и кусаются, а ездовые собаки ещё бегают в упряжке.

Никакие объекты сами по себе не делятся ни на какие множества и подмножества. Например, арбузу совершенно "безразлично", относят его к семейству тыквенных растений, к подмножеству полосатых или шарообразных предметов.