They're essentially equivalent, at least insofar as Kuratowski definition of ordered pairs is concerned. In this definition, the cartesian product of two sets X and Y, denoted by X\times Y is defined by the set of all ordered pairs (x,y)=\{\{x\},\{x,y\}\}, where the object on the left is just a...