The Order of Hypersubstitutions of Type (2, 1)

Hypersubstitutions are mappings which map operation symbols to terms of the corresponding arities. They were introduced as a way of making precise the concept of a hyperidentity and generalizations to M-hyperidentities. A variety in which every identity is satisfied as a hyperidentity is called solid. If every identity is anM-hyperidentity for a subsetM of… CONTINUE READING