Get Math Help

GET TUTORING NEAR ME!

(800) 434-2582

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

    Home / Get Math Help

    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

    Back to List | POWERED BY THE WOLFRAM LANGUAGE