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:
“Results are what you expect, and consequences are what you get.”
—schoolgirl’s definition, quoted in Ladies’ Home Journal (New York, Jan. 1942)
“There are more consequences to a shipwreck than the underwriters notice.”
—Henry David Thoreau (1817–1862)
“War is thus divine in itself, since it is a law of the world. War is divine through its consequences of a supernatural nature which are as much general as particular.... War is divine in the mysterious glory that surrounds it and in the no less inexplicable attraction that draws us to it.... War is divine by the manner in which it breaks out.”
—Joseph De Maistre (1753–1821)