Полурешётка: различия между версиями

то алгебра <math>\langle V, \vee, \wedge \rangle</math> является [[Решётка (теория множеств)|решёткой]]. В таком контексте <math>\langle V, \vee \rangle</math> называют ''верхней полурешёткой'', а <math>\langle V, \wedge \rangle</math> — ''нижней''. В верхних полурешётках вводится ''верхний элемент'' <math>\top \in V</math> такой, что <math>\top \vee x = x\top</math> для всех элементов <math>x \in V</math>, в нижних — ''нижний элемент'' <math>\bot \in V</math> такой, что <math>\bot \wedge x = \bot</math>, полурешётки, в которых существуют такие элементы, называют ограниченными.