This should be so easy but I'm having trouble understanding why {{x},{x,y}} defines an ordered pair (x,y). I'm trying to work through the following problem from the Zakon Series pdf textbook:
If (x,y) denotes the set {{x},{x,y}} prove that, for any x, y, u, v,
we have (x,y) = (u,v) iff x=u...