Is there a common presentation (set of equations) of the semigroup of functions on a given set(finite) ?