El axioma de Sustitución
El axioma de Sustitución
El axioma de Sustitución
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
x ∈ a y ∈ b<br />
<br />
<br />
a b a∩b = ∅ <br />
a ⊔ b a a ⊔ b <br />
α x α × {x} <br />
(ζ, x) ≤ (η, x) ζ ≤ η ζ η<br />
α ζ ↦→ (ζ, x) <br />
α α × {x} α β <br />
α × {0} β × {1} α <br />
β <br />
α β α β <br />
α ⊕ β α × {0} ⊔ β × {1} <br />
<br />
a b a ∼ α<br />
b ∼ β a ⊔ b ∼ α × {0} ⊔ β × {1} α ⊕ β <br />
<br />
α β <br />
<br />
α β γ <br />
0 ⊕ α = α ⊕ 0 = α<br />
α ⊕ (β ⊕ γ) = (α ⊕ β) ⊕ γ<br />
α ⊕ 1 = α ′<br />
α ⊕ β ′ = (α ⊕ β) ′ <br />
0 × {0} ⊔ α × {1} = ∅ ⊔ α × {1} ∼<br />
α ∼ α × {0} ⊔ ∅ = α × {0} ⊔ ∅ × {0}<br />
a b c <br />
〈x, 〈y, z〉〉 ↦→ 〈〈x, y〉, z〉 <br />
a ⊔ (b ⊔ c) (a ⊔ b) ⊔ c<br />
f : α ′ ↦→ (α×{0}) ⊔ (1×{1}) f(ζ) =<br />
<br />
α ⊕ β ′ = α ⊕ (β ⊕ 1) = (α ⊕ β) ⊕ 1 = (α ⊕ β) ′ <br />
(ζ, 0) ζ ∈ α<br />
(0, 1) ζ = α