位相群ですらなしって事?
そんなの考える意味あるん?