---

Step * of Lemma coSet-subtype-Set

∀B:Set{i:l}. ({u:coSet{i:l}| (u ∈ B)}  ⊆r Set{i:l})
BY
{ (Intro THEN (D 0 THENA Auto) THEN D -1 THEN Auto) }

---

Latex:

---

Latex:
\mforall{}B:Set\{i:l\}.  (\{u:coSet\{i:l\}|  (u  \mmember{}  B)\}    \msubseteq{}r  Set\{i:l\})


By

---

Latex:
(Intro  THEN  (D  0  THENA  Auto)  THEN  D  -1  THEN  Auto)

---

Home Index