между видами , связывающее два , благодаря чему понятие подтипа является более определенным понятием, чем понятие супертипа, и имеет все понятия супертипа.
- , по которым определяется понятие супертипа, также применимы к его понятиям подтипа. Понятие подтипа выделяется из супертипа и смежных понятий путем его определения с помощью дополнительных ограничений. Понятие может быть подтипом более чем одного понятия супертипа. (значение), по которому определяется понятие супертипа, также является аспектом всех его понятий подтипа (аспекты являются унаследованными). Аспекты понятия также следует применять для отдельных предметов, по . Отдельный предмет, который классифицируется по понятию (соответствуя, таким образом, его определяющим ограничениям), косвенно также классифицируется по супертипам понятия. «является специализацией» имеет «является видом...» и «является подтипом...». Обратная фраза «является обобщением» имеет синонимы «имеет подтип» и «является супертипом».
- , определяющий подтип, играет гипонима. Термин, определяющий супертип, играет роль гиперонима.
[из 3.2.6 ГОСТ Р 57309–2016]