---

Step * of Lemma mv-map_wf

∀[A,B:coSet{i:l}]. ∀[R:{u:coSet{i:l}| (u ∈ A)}  ⟶ {v:coSet{i:l}| (v ∈ B)}  ⟶ ℙ'].  ( R:(A ⇒ B) ∈ ℙ')
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[A,B:coSet\{i:l\}].  \mforall{}[R:\{u:coSet\{i:l\}|  (u  \mmember{}  A)\}    {}\mrightarrow{}  \{v:coSet\{i:l\}|  (v  \mmember{}  B)\}    {}\mrightarrow{}  \mBbbP{}'].
    (  R:(A  {}\mRightarrow{}  B)  \mmember{}  \mBbbP{}')


By

---

Latex:
ProveWfLemma

---

Home Index