Get Math Help

GET TUTORING NEAR ME!

By submitting the following form, you agree to Club Z!'s Terms of Use and Privacy Policy

    Axiom of the Unordered Pair

    Definition

    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).

    Related term

    Zermelo-Fraenkel set theory

    Find the right fit or it’s free.

    We guarantee you’ll find the right tutor, or we’ll cover the first hour of your lesson.