Defining The Ordered Pair Using Set Theory
The above characteristic property of ordered pairs is all that is required to understand the role of ordered pairs in mathematics. Hence the ordered pair can be taken as a primitive notion, whose associated axiom is the characteristic property. This was the approach taken by the N. Bourbaki group in its Theory of Sets, published in 1954, long after Kuratowski discovered his reduction (below). The Kuratowski definition was added in the second edition of Theory of Sets, published in 1970.
If one agrees that set theory is an appealing foundation of mathematics, then all mathematical objects must be defined as sets of some sort. Hence if the ordered pair is not taken as primitive, it must be defined as a set. Several set-theoretic definitions of the ordered pair are given below.
Read more about this topic: Ordered Pair
Famous quotes containing the words defining the, defining, ordered, pair, set and/or theory:
“Art, if one employs this term in the broad sense that includes poetry within its realm, is an art of creation laden with ideals, located at the very core of the life of a people, defining the spiritual and moral shape of that life.”
—Ivan Sergeevich Turgenev (1818–1883)
“The U.S. is becoming an increasingly fatherless society. A generation ago, an American child could reasonably expect to grow up with his or her father. Today an American child can reasonably expect not to. Fatherlessness is now approaching a rough parity with fatherhood as a defining feature of American childhood.”
—David Blankenhorn (20th century)
“But one sound always rose above the clamor of busy life and, no matter how much of a tintinnabulation, was never confused and, for a moment lifted everything into an ordered sphere: that of the bells.”
—Johan Huizinga (1872–1945)
“I saw a guide-post surmounted by a pair of moose horns.... They are sometimes used for ornamental hat-trees, together with deer’s horns, in front entries; but ... I trust that I shall have a better excuse for killing a moose than that I may hang my hat on his horns.”
—Henry David Thoreau (1817–1862)
“When you set out for Ithaca
ask that your way be long.”
—Constantine Cavafy (1863–1933)
“Lucretius
Sings his great theory of natural origins and of wise conduct; Plato
smiling carves dreams, bright cells
Of incorruptible wax to hive the Greek honey.”
—Robinson Jeffers (1887–1962)