|
|
|
|
ordered pair
|
(Definition)
|
|
|
For any sets and , the ordered pair is the set
.
The characterizing property of an ordered pair is:
 and 
and the above construction of ordered pair, as weird as it seems, is actually the simplest possible formulation which achieves this property.
|
"ordered pair" is owned by djao.
|
|
(view preamble)
Cross-references: property
There are 43 references to this entry.
This is version 4 of ordered pair, born on 2001-10-19, modified 2002-03-04.
Object id is 358, canonical name is OrderedPair.
Accessed 25964 times total.
Classification:
| AMS MSC: | 03-00 (Mathematical logic and foundations :: General reference works ) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|