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 Extensionality

    Definition

    The axiom of Zermelo-Fraenkel set theory which asserts that sets formed by the same elements are equal, for all x(x element a congruent x element b)⇒a = b. Note that some texts, use a bidirectional equivalent congruent preceding "a = b, " while others (e.g., Enderton 1977, Itô 1986), use the one-way implies ⇒. However, one-way implication suffices. Using the notation a subset b (a is a subset of b) for (x element a)⇒(x element b), the axiom can be written concisely as a subset b⋀b subset a⇒a = b, where ⋀ denotes logical AND.

    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.