If f:A→B is a function, then, as a set of ordered pairs, f is a subset of which set?
Any relation from A to B is a subset of A×B because the first element of each ordered pair belongs to A and the second belongs to B. A function is a special relation in which every element of A has exactly one image in B. Hence, f⊆A×B. Exam tip: For a function from A to B, the order is domain first and codomain second, so choose A×B rather than B×A.