Definition
Kuratowski'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.