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

    Alternate name
    Definition

    One of the Zermelo-Fraenkel axioms which asserts the existence for any set a of the power set x consisting of all the subsets of a. The axiom may be stated symbolically as for all x exists y( for all z(z element y congruent z subset x)) (Enderton 1977). Note that the version given by Itô, for all x exists y(y element x congruent for all z element y(z element a)), is confusing, and possibly incorrect.

    Back to List | POWERED BY THE WOLFRAM LANGUAGE