---

Step * of Lemma set-relation-on_wf

∀[A:Set{i:l}]. ∀[R:{u:Set{i:l}| (u ∈ A)}  ⟶ {u:Set{i:l}| (u ∈ A)}  ⟶ ℙ'].  (SetRelationOn(A;R) ∈ ℙ')
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[A:Set\{i:l\}].  \mforall{}[R:\{u:Set\{i:l\}|  (u  \mmember{}  A)\}    {}\mrightarrow{}  \{u:Set\{i:l\}|  (u  \mmember{}  A)\}    {}\mrightarrow{}  \mBbbP{}'].    (SetRelationOn(A;R)  \mmember{}  \mBbbP{}\000C')


By

---

Latex:
ProveWfLemma

---

Home Index