Cardinality of all functions from a set to another set