On Equational Definability of Function Classes
Miguel Couceiro, Erkko Lehtonen and Tamas Waldhauser
We propose a notion of functional equation for functions of a fixed arity, which is based on a pair of clones. We present necessary conditions for a class of functions to be definable by such equations, and show that for certain choices of clones these conditions are also sufficient.