Upward Saturated Hyperclones
Jelena Colic, Hajime Machida and Jovanka Pantovic
A set of hyperoperations on a finite set A is upward saturated if it contains all super-hyperoperations of each hyperoperation belonging to the set. The set of all upward saturated hyperclones, ordered by set inclusion, is an algebraic lattice.We describe a class of maximal hyperclones determined by bounded partial orders. Hyperclones from this class are upward saturated.