theorem Th45: :: TOPGEN_1:45

for T being discrete TopSpace
for A being Subset of T holds Der A = {}