theorem Th26: :: UNIFORM3:49

for X being set
for R being symmetric Relation of X holds uniformity_induced_by R is axiom_U2