无序对

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