Definition:Set of All Mappings

Let $$S$$ and $$T$$ be sets.

The set of all mappings from $$S$$ to $$T$$ is:

$$T^S = \left\{{f: S \to T: f \ \textrm {is} \ \textrm {a} \ \textrm {mapping}}\right\}$$