亦称二元集.公理集合论术语.指由两个元素构成的集合.通常记为{a,b},a,b为其元素.若a=b,则{a,b}只包含一个元素,称其为单点集,记为{a}.由无序对公理,任何两个集合均可构成一个二元集.在无序对中,两个元素无先后次序,即{a,b}={b,a},这正是无序对一名的由来[1]。无序对(unordered pair)一种特殊的集合.即仅含两个元素的集合.对于任意的两个对象(集合))u与v，集合{u,v}={v,u}称为对象u与v的无序对.由于u,v是任意的两个对象，u与v既可以相同也可以不同。当u=v时，{u,v}可以记为{u}或{v}，集合{u}或{v}称为单元集，即仅含有一个元素的集合.单元集是无序对集合的一种特殊情况[3]。定义{xy}={x}U{y}．类[xy]称为无序对(unordered pair)[2]。