---

Step * of Lemma ss-function_wf

∀[X,Y:SeparationSpace]. ∀[f:Point(X) ⟶ Point(Y)].  (ss-function(X;Y;f) ∈ ℙ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[X,Y:SeparationSpace].  \mforall{}[f:Point(X)  {}\mrightarrow{}  Point(Y)].    (ss-function(X;Y;f)  \mmember{}  \mBbbP{})


By

---

Latex:
ProveWfLemma

---

Home Index