Is there a common presentation of the semigroup of functions from a given (finite) set to itself?