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:
“The medium is the message. This is merely to say that the personal and social consequences of any medium—that is, of any extension of ourselves—result from the new scale that is introduced into our affairs by each extension of ourselves, or by any new technology.”
—Marshall McLuhan (1911–1980)
“The consequences of our actions grab us by the scruff of our necks, quite indifferent to our claim that we have “gotten better” in the meantime.”
—Friedrich Nietzsche (1844–1900)
“Results are what you expect, and consequences are what you get.”
—schoolgirl’s definition, quoted in Ladies’ Home Journal (New York, Jan. 1942)