theorem :: KURATO_1:5

for T being non empty TopSpace
for A being Subset of T holds Kurat14Set A = ({A,(A `)} \/ (Kurat14ClPart A)) \/ (Kurat14OpPart A) by Lm2;