---

Step * 1 of Lemma ss-comp_wf


1. X : SeparationSpace
2. Y : SeparationSpace
3. Z : SeparationSpace
4. f : Point(Y) ⟶ Point(Z)
5. ss-function(Y;Z;f)
6. g : Point(X) ⟶ Point(Y)
7. ss-function(X;Y;g)
⊢ ss-comp(f;g) ∈ Point(X) ⟶ Point(Z)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:

1.  X  :  SeparationSpace
2.  Y  :  SeparationSpace
3.  Z  :  SeparationSpace
4.  f  :  Point(Y)  {}\mrightarrow{}  Point(Z)
5.  ss-function(Y;Z;f)
6.  g  :  Point(X)  {}\mrightarrow{}  Point(Y)
7.  ss-function(X;Y;g)
\mvdash{}  ss-comp(f;g)  \mmember{}  Point(X)  {}\mrightarrow{}  Point(Z)


By

---

Latex:
ProveWfLemma

---

Home Index