theorem Th47: :: TOPGRP_1:48

for G being UnContinuous TopGroup
for F being closed Subset of G holds F " is closed