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