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