We consider the notion of hyper-quasi-identities and hyperquasivarieties, as a common generalization of the concept of quasi-identity and quasivariety invented by A.I. Mal'cev, cf. , cf.  and hypervariety invented by the authors in .
Power-ordered sets are not always lattices. In the case of distributive lattices we give a description by disjoint of chains. Finite power-ordered sets have a polarity. We introduct the leveled lattices and show examples with trivial tolerance. Finally we give a list of Hasse diagrams of power-ordered sets.
It is proved that if a finite non-trivial quasi-order is nota linear order then there exist continuum many clones, whichconsist of functions preserving the quasi-order and containall unary functions with this property. It is shown that, fora linear order on a three-element set, there are only 7 suchclones