Axiom of Power Set - Consequences

Consequences

The Power Set Axiom allows a simple definition of the Cartesian product of two sets and :

Notice that

and thus the Cartesian product is a set since

One may define the Cartesian product of any finite collection of sets recursively:

Note that the existence of the Cartesian product can be proved without using the power set axiom, as in the case of the Kripkeā€“Platek set theory.

Read more about this topic:  Axiom Of Power Set

Famous quotes containing the word consequences:

    There are more consequences to a shipwreck than the underwriters notice.
    Henry David Thoreau (1817–1862)

    We are still barely conscious of how harmful it is to treat children in a degrading manner. Treating them with respect and recognizing the consequences of their being humiliated are by no means intellectual matters; otherwise, their importance would long since have been generally recognized.
    Alice Miller (20th century)

    Resistance is feasible even for those who are not heroes by nature, and it is an obligation, I believe, for those who fear the consequences and detest the reality of the attempt to impose American hegemony.
    Noam Chomsky (b. 1928)