Теорема о рефлексивности отношения равенства множеств

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

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