>>325

0 = (0 × ξ) 〇 Δ

(0 × ξ) 〇 Δ のグラフ Γ_(0 × ξ) 〇 Δ は、

Γ_(0 × ξ) 〇 Δ = {(x, z) | (x, z) ∈ φ × (X × 2^X) ∧ ∃y ∈ φ × φ ( (x, y) ∈ Γ_Δ ∧ (y, z) ∈ Γ_(0 × ξ) )}

(x, z) ∈ φ × (X × 2^X) となるような x は存在しないので、

Γ_(0 × ξ) 〇 Δ = φ

である。

よって、

0 = (0 × ξ) 〇 Δ

が成り立つ。



∃y ∈ φ × φ ( (x, y) ∈ Γ_Δ ∧ (y, z) ∈ Γ_(0 × ξ) )

すなわち、

∃y (y ∈ φ × φ ∧ (x, y) ∈ Γ_Δ ∧ (y, z) ∈ Γ_(0 × ξ) )

についてですが、存在しない x を使っていますが、こういうのはありなんでしょうか？