reserve T for non empty TopSpace;
reserve A for Subset of T;

theorem
  Kurat14ClPart KurExSet misses Kurat14OpPart KurExSet by Th57;
