Теорема о симметричности отношения равенства множеств

Пусть выполнены следующие аксиомы:
 * аксиома объёмности,

Тогда отношение равенства множеств является симметричным отношением : $$ =\, \in \mathrm{SymRel} $$