The axiom of Zermelo-Fraenkel set theory which asserts the existence for any sets a and b of a set x having a and b as its only elements. x is called the unordered pair of a and b, denoted {a, b}. The axiom may be stated symbolically as exists x for all y(y element x congruent y = a⋁y = b).