theorem Th29: :: TOPGEN_1:29

for T being TopSpace
for A being Subset of T holds Cl A = A \/ (Der A)