19/12/21 14:08:34.64 R5zXcFKP.net
おんなじ形式で点列コンパクトを書くと
Ｒｎの部分集合ＫはＫの任意の点列がＫの点に収束する部分列を含む
Ｂ←Ａ：ｆ（∃Ｒｎ∃Ｋ｜部分列はＫの任意の点列がＫの点に収束する、みたいな式）
で両方の射にたとえばＣ１とＣ２とか名前を付けると
Ｃ１とＣ２の扱いに同一の部分があるとしてさらに名前をつけ
射の型Ｃは被覆で同型を与えその基礎的性質は以下のように記述される
として記述できる形式がないとダメなんですが、まあなんか式の形が同じとして
「式の形が同じ」というのを式で書くとどうなるかというと