Definition
Ordered Pair
An ordered pair
(for all sets and ) is an object with property:
Definitions
Kuratowski
Definition
Link to originalKuratowski's ordered pair
For arbitrary sets
and , define their ordered pair by The singleton
distinguishes the first position, while contains both entries. Thus sets, whose elements have no order, represent in the first position and in the second.