The exercise:Use the axiom of regularity to prove that if is a set such that , then .

The axiom of regularity:Every nonempty set contains an element such that .

Definition of cartesian product:.

More simply, we say , where ordered pairs are defined as .

I believe this exercise is supposed to be easy, but I'm having a lot of trouble with it. Assistance would be much appreciated!