:: deftheorem defines cap-closed UNIFORM2:def 8 :
for US being UniformSpaceStr holds
( US is cap-closed iff the entourages of US is cap-closed );