Separation
「異なる点・集合をどれだけ開集合や閉集合で分離できるか」を階層化した公理群（$T_0$〜$T_5$）。本書の特徴は regular・normal を Hausdorff 性を要求せずに定義する点で、伝統的な階層と対応づけるには free（=$T_1$）を別途加える必要がある（例: 本書の regular + free = 伝統的な regular + $T_1$）。分離公理は位相空間論の分類学の骨格であり、測度論の Borel 集合族の構成や関数解析の局所凸空間の分離定理（Hahn–Banach 系）の前提としてもそのまま使われる。
書籍別カード
Section titled “書籍別カード”- Royal Road to Topology: cards/topology/separation-axioms-table — 本書名 ↔ 伝統名の対応表（Table X.7.1）。基礎の2集合分離は cards/topology/separated-sets、函数的分離は cards/topology/functionally-separated-sets。
用語対応（terminology-map）
Section titled “用語対応（terminology-map）”30_Concepts/topology-terminology-map（PR #168、未マージ）は現時点でフィルター・収束の基礎語彙／近傍・閉包／収束構造の分類／コンパクト性・被覆・連続／順序の向き、の5節に限定されており、separation 専用の行はまだない（scope外。分離公理の本書↔伝統名対応はカード側の cards/topology/separation-axioms-table が既に翻訳表の役割を兼ねている）。標準用語・Mathlib 対応は本ノートの frontmatter（standard-term:: / mathlib::）で直接対応づける。