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

theorem
  Kurat14Set A = { A, A` } \/ Kurat14ClPart A \/ Kurat14OpPart A by Lm2;
