תודה, מרדכי.
'''למעשה כמעט סיימת. שים לב מה רשמת, <math>a\in A \rightarrow Rightarrow a\in B \and b\in B \rightarrow Rightarrow b\in A</math> זה בדיוק התנאי לשוויון קבוצות. רק נותר לך לטפל במיקרים שלא קיים <math>a\in A</math> או לא קיים <math>b\in B</math>. עדי