:: deftheorem defines Uniformity2InternalRel UNIFORM3:def 23 :
for USS being UniformSpaceStr holds Uniformity2InternalRel USS = meet the entourages of USS;