Полурешётка

---

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

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

Полурешётка аксиоматизируется как алгебра, снабжённая бинарной операцией ${\displaystyle \langle V,\star \rangle }$ следующими тождествами:

Если алгебры ${\displaystyle \langle V,\vee \rangle }$ и ${\displaystyle \langle V,\wedge \rangle }$ — полурешётки, и их операции связаны соотношениями (называемым законами поглощения):

то алгебра ${\displaystyle \langle V,\vee ,\wedge \rangle }$ является решёткой. В таком контексте ${\displaystyle \langle V,\vee \rangle }$ называют верхней полурешёткой, а ${\displaystyle \langle V,\wedge \rangle }$ — нижней. В верхних полурешётках вводится верхний элемент ${\displaystyle \top \in V}$ такой, что ${\displaystyle \top \vee x=\top }$ для всех элементов ${\displaystyle x\in V}$, в нижних — нижний элемент ${\displaystyle \bot \in V}$ такой, что ${\displaystyle \bot \wedge x=\bot }$, полурешётки, в которых существуют такие элементы, называют ограниченными.

---