---

Step * of Lemma cosetTC-contained

∀s:coSet{i:l}. (transitive-set(s) ⇒ (cosetTC(s) ⊆ s))
BY
{ EAuto 2 }

---

Latex:

---

Latex:
\mforall{}s:coSet\{i:l\}.  (transitive-set(s)  {}\mRightarrow{}  (cosetTC(s)  \msubseteq{}  s))


By

---

Latex:
EAuto  2

---

Home Index