:: deftheorem defines void UNIFORM2:def 1 :
for U being UniformSpaceStr holds
( U is void iff the entourages of U is empty );