theorem :: UNIFORM3:51

for X being set
for R being Equivalence_Relation of X holds uniformity_induced_by R is UniformSpace by Th27;