A Function between Cartesian product of Sets, and another set. Often, the domain is a Cartesian power of a single set.