Subfunction relations defined by the clones containing all unary operations

Erkko Lehtonen

For a class C of operations on a nonempty base set A, an operation f is called a C-subfunction of an operation g, if f = g(h_1, ..., h_n), where all the inner functions h_i are mem…