Definition talk:Class Equality

I had to rework the definition for set and class since there was a circularity occurring. When the fundamental extension theorems have been proved we can lift the rigour a bit and restrict to proving equality for classes. --Lord_Farin 15:43, 7 August 2012 (UTC)