Def/Ordered Pair 1