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