theorem Th55: :: TOPGRP_1:56

for G being UnContinuous TopGroup
for A being dense Subset of G holds A " is dense