Википедия
Полурешётка
Полурешётка (, до 1960-х годов также использовался термин полуструктура) в общей алгебре — полугруппа , бинарная операция в которой коммутативна и идемпотентна .
С точки зрения теоретико-множественного подхода, полурёшетка определяется как частично упорядоченное множество , для каждой пары элементов которого определена точная верхняя грань (верхняя полурешётка) или точная нижняя грань (нижняя полурешётка). Множество, являющееся одновременно верхней и нижней полурешёткой является решёткой .