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