Defining Ordered Pairs in terms of Sets

Since we did not resolve the issue of how the reduction of an ordered pair <a,b> to the set {{a},{a,b}} worked out for pairs of the form <x,x>, you may want to check out this Wikipedia discussion of different variants of defining pairs as sets, including how we can derive the first and second member of the pair from those definitions for all cases.