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

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

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