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!