For non-empty subsets A and B,
Any subset of A×B defines a function from A to B
Any subset of A×B defines an equivalence relation
Any subset of A×A defines a function on A
Any subset of A×B defines a relation from A to B
See the definition of function