>>462
私がしたことは、位相群の具体的な構成だ。