被覆の次数（枚数）

定義 3.9（「基本群と被覆空間」§3）

被覆写像 $p:\tilde X\to X$ について、ファイバー $p^{-1}(x)$ の濃度が $x$ によらず一定値 $d$ （有限または無限の基数）であるとき、 $d$ を $p$ の次数または枚数（シート数）といい、 $p$ を $d$ 重被覆（ $d$ 枚の被覆）という。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明で明示的に参照している定理は、まだありません。