- #1

reb659

- 64

- 0

I was reading through a textbook and I came across the set theoretic definition of an ordered pair (Kuratowski), where (x,y)={{x},{x,y}}, which apparently can be shortened to {x,{x,y}}. This seems to be the standard definition for an ordered pair in set theory so that we can determine both the first and second element using only set theory and no notions of "first" or "second". However, I am wondering why the less complicated definition (x,y)={x,{y}} does not also work.

Can anyone enlighten me?