(Moderator's note: thread moved from "Linear & Abstract Algebra") problem # 12). Suppose X is a finite set with n elements. Show that the semigroup X^x has n^n elements. I'm confused. Isn't semigroup a set of functions? So when it says n elements, it actually means n functions? Also what is X^x defined as?