18/02/05 22:59:38.42 gs2rJa9P.net
訂正します：
対角集合 Δ_X := {(x, y) ∈ X × X | x = y}
包含写像 i の定義は、
i = (Γ, X, Y) = (Δ_X, X, Y)
である。
X = φ のとき、
Δ_X = φ
よって、
空写像 (φ, φ, Y)
は包含写像である。
18/02/05 22:59:38.42 gs2rJa9P.net
訂正します：
対角集合 Δ_X := {(x, y) ∈ X × X | x = y}
包含写像 i の定義は、
i = (Γ, X, Y) = (Δ_X, X, Y)
である。
X = φ のとき、
Δ_X = φ
よって、
空写像 (φ, φ, Y)
は包含写像である。