Ordered Pair Function Definition