【専門書】数学の本第75巻【啓蒙書】

[0397 １３２人目の素数さん 2018/02/05(月) 22:59:38.42 ID:gs2rJa9P]

訂正します：

対角集合 Δ_X := {(x, y) ∈ X × X | x = y}

包含写像 i の定義は、

i = (Γ, X, Y) = (Δ_X, X, Y)

である。

X = φ のとき、

Δ_X = φ

よって、

空写像 (φ, φ, Y)

は包含写像である。