The first reason why do we do it at all is that we want the notion of ordered pair to be defined as a set. We want to encode somehow the property of the ordered pair that comes first and comes second - this is how we understand what " is an ordered pair" means. And this is what and fail to provide ( doesn't tell us that comes first, it is just a set containing elements and , )

The definition of the ordered pair is cleverly chosen. If we want to say " is on the first position in " in set-theoretical language, we just say " is an element of all elements of ". If we want to say " is on the second position in " , we say "there exists an element of that contains AND it is not true that there are two distinct elements of both containing ".

Moreover, the characteristic property of oredered pairs, " if and only if and " remains true if we use this definition: " if and only if and " (try to verify it).

This definition comes from Kuratowski and is not the only possible one, but people like it for its properties and have chosen it.