:: deftheorem defines TrivialUniformSpace UNIFORM2:def 3 :
TrivialUniformSpace = UniformSpaceStr(# {},(cobool [:{},{}:]) #);