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

theorem
  Kurat14Set A = Kurat14Part A \/ Kurat14Part A`;
