theorem Th31: :: TOPGEN_1:31

for T being non empty TopSpace
for A, B being Subset of T holds Der (A \/ B) = (Der A) \/ (Der B)