Подструктура (математика)

Подструктура – это часть структуры с теми же сигнатурой и некоторыми ограничениями.
В теории моделей термин “подмодель” часто используется как синоним подструктуры.
Подструктуры упорядоченных групп и графов имеют особое свойство, заключающееся в том, что каждая подструктура является индуцированной подструктурой.
Подструктуры упорядоченного поля являются его подполями.
В категории моделей теории и вложений подмоделями модели являются ее подобъекты.

Полный текст статьи:

Подструктура (математика) — Википедия