Functions
Let f be a subset of S1 X S2.
(f is a binary relation on S1 and S2)
If for each x in S1 there is precisely one y in S2 such that (x, y) ? f, then f is a function from S1 to S2. We also say f is a function on S1.
S1 is called the domain of f and S2 is called the range of f.