---

Step * of Lemma rset-member_functionality

∀A,B:Set(ℝ). ∀x,y:ℝ.
  ((∀y:ℝ. SqStable(y ∈ A)) ⇒ (∀y:ℝ. SqStable(y ∈ B)) ⇒ rseteq(A;B) ⇒ {(x ∈ A) ⇒ (y ∈ B)} supposing x = y)
BY
{ (RepUR ``rset rset-member guard rseteq`` 0 THEN Auto THEN D 2 THEN D 1 THEN Unhide THEN Auto) }

---

Latex:

---

Latex:
\mforall{}A,B:Set(\mBbbR{}).  \mforall{}x,y:\mBbbR{}.
    ((\mforall{}y:\mBbbR{}.  SqStable(y  \mmember{}  A))
    {}\mRightarrow{}  (\mforall{}y:\mBbbR{}.  SqStable(y  \mmember{}  B))
    {}\mRightarrow{}  rseteq(A;B)
    {}\mRightarrow{}  \{(x  \mmember{}  A)  {}\mRightarrow{}  (y  \mmember{}  B)\}  supposing  x  =  y)


By

---

Latex:
(RepUR  ``rset  rset-member  guard  rseteq``  0  THEN  Auto  THEN  D  2  THEN  D  1  THEN  Unhide  THEN  Auto)

---

Home Index