有序偶（ordered pair），指有先后顺序的一对数，与无序偶的概念相对。相应的，若有序集合内包含的元素不是两个而是三个，则称为有序三元组。

两个有序偶相同的条件是构成有序偶的元素分别相同且顺序也相同。例如有序偶（a b）和（b a）尽管元素相同，但顺序不同，因此是不同的两个有序偶。

有序偶通常用来表示二维空间上的点，1837年，哈密顿引入有序偶以表示虚数空间上的虚数。