有序对 (a,b) 是一组对象，不同的顺序意味着不同的对象，(a,b)≠(b,a) 除非 a=b，正是因为对象的相对顺序是有着不同含义的，因此有时也称之为 2 维向量。与之相对的无序对（unordered pair），则 {a,b}={b,a}。
1. 基本定义
给定有序对 (a1,b1) 和 (a2,b2)，则有：
(a1,b1)=(a2,b2) if and only if a1=a2 and b1=b2.
2. 基于集合论的相关定义
Wiener’s definition
(a,b):={{{a},∅},{{b}}}.
Hausdorff’s definition
(a,b):={{a,1},{b,2}}