---

Step * of Lemma rseteq_wf

∀[A,B:Set(ℝ)].  (rseteq(A;B) ∈ ℙ)
BY
{ (Unfold `rseteq` 0 THEN Auto)⋅ }

---

Latex:

---

Latex:
\mforall{}[A,B:Set(\mBbbR{})].    (rseteq(A;B)  \mmember{}  \mBbbP{})


By

---

Latex:
(Unfold  `rseteq`  0  THEN  Auto)\mcdot{}

---

Home Index