theorem :: KURATO_1:2

for T being non empty TopSpace
for A being Subset of T holds Kurat14Set A = (Kurat14Part A) \/ (Kurat14Part (A `)) ;