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