Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

Гиперструктуры - это алгебраические структуры, оснащенные по крайней мере одной многозначной операцией, называемой гипероперацией . Самыми большими классами гиперструктур являются те, которые называются - структурами.

Гипероператор на непустое множестве является отображением на непустое множество мощности , то есть совокупность всех непустых подмножеств , т.е.

Поскольку мы определяем

и

является полугипергруппой, если является ассоциативной гипероперацией, т. е. для всех

Кроме того, гипергруппа - это полугипергруппа , в которой верна аксиома воспроизводства , т. Е. Для всех

Ссылки [ править ]