:: deftheorem defines Uniform_Space UNIFORM2:def 2 :
for X being set holds Uniform_Space X = UniformSpaceStr(# X,({} (bool [:X,X:])) #);