Hyperidentities of some generalizations of lattices (Q1966133)

Let \(\tau : F\rightarrow \mathbb N\) be a type of algebras, where \(F\) is a set of fundamental operation symbols. A mapping \(\mu \) from \(F\) to the set of all terms of type \(\tau \) is called a hypersubstitution if the term assigned to an \(n\)-ary \(f\in F\) is also \(n\)-ary and \(\mu (x)=x\) for every variable \(x\). By induction on term complexity, \(\mu \) can be naturally extended from \(F\) to the whole set of terms of type \(\tau \). An identity \(p=q\) of type \(\tau \) is called a hyperidentity of a variety \(V\) if \(V\models \mu (p) = \mu (q)\) for every hypersubstitution \(\mu \) of type \(\tau \). The author presents bases and hyperbases of regular, normal, outermost or biregular hyperidentities of the variety of all lattices and the variety of distributive lattices.