axiom of pairing in Polish

(set theory) One of the axioms in axiomatic set theory, equivalent to the statement that if two sets exist, there exists a set with those two sets as its sole elements.