for X being set
for R being total reflexive Relation of X holds uniformity_induced_by R is axiom_U1