theorem Th27: :: UNIFORM3:50

for X being set
for R being total transitive Relation of X holds uniformity_induced_by R is axiom_U3