開部分群

定義

$G$:位相群,$H{\subset }^{G}G$,$H$:開集合なら$H$を開部分群という.