What Makes Ordered Pairs A Function