שינויים

'''<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>. עדי