theorem Th50: :: TOPGRP_1:51

for G being UnContinuous TopGroup
for O being open Subset of G holds O " is open