記号定義 tex ⊂G,⊂R,⊂F : 部分群, 環, 体 (respectively) S⊂openM: 開集合 S⊂closeM: 閉集合 ↪: 単射 ↠: 全射 ?: 全単射 →≃: 同型射 →lim: 射極限 ※varprojlimないので\stackrel{\lim}{\to}で代用