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