On Equational Definability of Function Classes
Miguel Couceiro, Erkko Lehtonen, Tamás Waldhauser · 2011
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.