let P be Subset of T; :: according to KURATO_1:def 7 :: thesis: ( P in Kurat7Set A implies Cl P in Kurat7Set A )
assume P in Kurat7Set A ; :: thesis: Cl P in Kurat7Set A
hence Cl P in Kurat7Set A by Th10; :: thesis: verum