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 industrial world would be a more peaceful place if workers were called in as collaborators in the process of establishing standards and defining shop practices, matters which surely affect their interests and well-being fully as much as they affect those of employers and consumers.”
—Mary Barnett Gilson (1877–?)
“Your mind was wrought in cosmic solitude,
Through which careered an undulous pageantry
Of fiends and suns, darkness and boiling sea,
All held in ordered sway by beauty’s mood.”
—Allen Tate (1899–1979)
“By sharing the information and observations with the caregiver, you have a chance to see your child through another pair of eyes. Because she has some distance and objectivity, a caregiver often sees things that a parent’s total involvement with her child doesn’t allow.”
—Amy Laura Dombro (20th century)
“They say it’s worse to be ugly. I think it must only be different. If you’re pretty, you are subject to one set of assaults; if you’re plain you are subject to another.”
—Alix Kates Shulman (b. 1932)
“Every theory is a self-fulfilling prophecy that orders experience into the framework it provides.”
—Ruth Hubbard (b. 1924)