for T being non empty TopSpace
for A being Subset of T holds
( A is closed iff Der A c= A )