for T being non empty TopSpace
for A being Subset of T holds Der A c= Cl A