theorem Th47: :: GROUP_1A:365

for G being UnContinuous TopaddGroup
for F being closed Subset of G holds - F is closed