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

    Back to List | POWERED BY THE WOLFRAM LANGUAGE