Полурешётка: различия между версиями
| [отпатрулированная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Сорахеку (обсуждение | вклад) м Удaлeнa Категория:Общая алгебра с помощью HotCat |
Нет описания правки |
||
Строка 1:
'''Полурешётка''' ({{lang-en|semilattice}}, до 1960-х годов также использовался термин ''полуструктура'') в [[Общая алгебра|общей алгебре]] — [[полугруппа]], бинарная операция в которой асоциативна, [[Коммутативность|коммутативна]] и [[Идемпотентность|идемпотентна]].
С точки зрения [[Теория множеств|теоретико-множественного]] подхода, полурёшетка определяется как [[частично упорядоченное множество]], для каждой пары элементов которого определена [[точная верхняя грань]] ('''верхняя полурешётка''') или [[точная нижняя грань]] ('''нижняя полурешётка'''). Множество, являющееся одновременно верхней и нижней полурешёткой является [[Решётка (теория множеств)|решёткой]].
| |||