Define a function as a set of ordered pairs.

Function as a set of ordered pairs: A function is a set of ordered pairs with the property that no two ordered pairs have the same first component and a different second component.