Generalized semilattices and m-degrees of index sets (Q920122)

A generalized (upper) semilattice is a poset P supplied with a family of binary operations satisfying certain conditions. A subset \(I\subset P\) is said to be an ideal of a generalized semilattice P if I is a lower subset in the poset P closed under all binary operations. It is proved that every ideal I determines a congruence relation \(\theta\) (I) such that the quotient algebra P/\(\theta\) (I) is a semilattice. In addition, P/\(\theta\) (I) is a distributive semilattice provided that P is a distributive generalized semilattice. The property of distributivity is fulfilled, for example, in every generalized semilattice of m-degrees of index sets.