Алгебраическая система называется моделью или реляционной системой, если множество основных операций пусто: .
Непустое множество называется замкнутым относительно операции , если выполняется , т.е. результат операции принадлежит множеству .
Если рассматривать операции , и отношения , , то получим алгебраическую систему , однотипную данной, которая называется подсистемой алгебраической системы . Подсистемы универсальных алгебр называются подалгебрами, а подсистемы моделей ─ подмоделями.
Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет
studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав!Последнее добавление