Ordered pair
A pair (a,b) in which order matters, characterized by a uniqueness property.
Ordered pair
An ordered pair is an object determined by two entries and such that
Ordered pairs are the building blocks of Cartesian products, graphs of functions, and relations. The defining property above is what distinguishes an ordered pair from a 2-element set, where order is irrelevant.
Examples:
- .
- In , a point is an ordered pair with .
- The graph of is .