有序数对的定义