亦称二元集.公理集合论术语.指由两个元素构成的集合.通常记为{a,b},a,b为其元素.若a=b,则{a,b}只包含一个元素,称其为单点集,记为{a}.由无序对公理,任何两个集合均可构成一个二元集.在无序对中,两个元素无先后次序,即{a,b}={b,a},这正是无序对一名的由来。

定义{xy}={x}U{y}．类[xy]称为无序对(unordered pair)。

无序对(unordered pair)一种特殊的集合.即仅含两个元素的集合.对于任意的两个对象(集合))u与v，集合{u,v}={v,u}称为对象u与v的无序对.由于u,v是任意的两个对象，u与v既可以相同也可以不同。当u=v时，{u,v}可以记为{u}或{v}，集合{u}或{v}称为单元集，即仅含有一个元素的集合.单元集是无序对集合的一种特殊情况。

恰好有二个元素的集合，并且这二个元素之间没有一定顺序的，叫做无序对集合．比如，前边提到的{1，2}就是一个无序对集合，对于{1,2}，还可以写作{2,1}．也就是说，

我们有

{1,2}={2,1}

对于任意的对象a、b，无序对集合{a,b}都等于{b,a}另外，{N,Q},{1，N},{R,N}都是无序对集合。

还应当注意，就是{1,2，3}={1,2}。在任一集合中，某一个元素重复出现多次和它只出现一次，其结果没有变化，仍然是相同的集合。因此，{a,a}就是单元集合{a}，{a,a,a}还是单元集合{a}；而{a,a,b}，{b,b,a,a}也仍然是无序对集合{a,b}。