Полурешётка
Полурешётка (англ. semilattice, до 1960-х годов также использовался термин полуструктура) в общей алгебре — полугруппа, бинарная операция в которой коммутативна и идемпотентна. В терминах теории порядков полурёшетка может быть определена как частично упорядоченное множество, для каждой пары элементов которого определена точная верхняя грань (верхняя полурешётка) или точная нижняя грань (нижняя полурешётка). Множество, являющееся одновременно верхней и нижней полурешёткой, является решёткой. Алгебраические определенияПолурешётка аксиоматизируется как алгебра, снабжённая бинарной операцией ⟨ V , ⋆ ⟩ {displaystyle langle V,star angle } следующими тождествами: Если алгебры ⟨ V , ∨ ⟩ {displaystyle langle V,vee angle } и ⟨ V , ∧ ⟩ {displaystyle langle V,wedge angle } — полурешётки, и их операции связаны соотношениями (называемым законами поглощения):
то алгебра ⟨ V , ∨ , ∧ ⟩ {displaystyle langle V,vee ,wedge angle } является решёткой. В таком контексте ⟨ V , ∨ ⟩ {displaystyle langle V,vee angle } называют верхней полурешёткой, а ⟨ V , ∧ ⟩ {displaystyle langle V,wedge angle } — нижней. В верхних полурешётках вводится верхний элемент ⊤ ∈ V {displaystyle op in V} такой, что ⊤ ∨ x = ⊤ {displaystyle op vee x= op } для всех элементов x ∈ V {displaystyle xin V} , в нижних — нижний элемент ⊥ ∈ V {displaystyle ot in V} такой, что ⊥ ∧ x = ⊥ {displaystyle ot wedge x=ot } , полурешётки, в которых существуют такие элементы, называют ограниченными. Частичный порядокЧастичный порядок в алгебраически определённой полурешётке ( V , ∧ ) {displaystyle (V,wedge )} может быть введён следующим образом: x ⊑ y {displaystyle xsqsubseteq y} тогда и только тогда, когда x ∧ y = x {displaystyle xwedge y=x} . Поскольку бинарная операция в полурешётке идемпотентна, коммутативна и ассоциативна, то определённый таким образом порядок является рефлексивным ( x ⊑ x {displaystyle xsqsubseteq x} ), антисимметричным ( ( x ⊑ y ) & ( y ⊑ x ) ⇒ ( x = y ) {displaystyle (xsqsubseteq y)And (ysqsubseteq x)Rightarrow (x=y)} и транзитивным ( ( x ⊑ y ) & ( y ⊑ z ) ⇒ ( x ⊑ z ) {displaystyle (xsqsubseteq y)And (ysqsubseteq z)Rightarrow (xsqsubseteq z)} ). |