位相群論の質問です。
開部分群を含む部分群が開部分群になることはどのようにして証明されるのでしょうか。
よろしくお願いします。