reserve X for set,
        D for a_partition of X,
        TG for non empty TopologicalGroup;
reserve A for Subset of X;
reserve US for UniformSpace;

theorem Th16:
  D = {} implies X is empty & UniCl D = {{}}
  by ZFMISC_1:2,EQREL_1:def 4,YELLOW_9:16;
