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