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

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

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