---

Step * of Lemma union-sep_wf

∀[ss1,ss2:SeparationSpace]. ∀[p,q:Point(ss1) + Point(ss2)].  (union-sep(ss1;ss2;p;q) ∈ ℙ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[ss1,ss2:SeparationSpace].  \mforall{}[p,q:Point(ss1)  +  Point(ss2)].    (union-sep(ss1;ss2;p;q)  \mmember{}  \mBbbP{})


By

---

Latex:
ProveWfLemma

---

Home Index