---

Step * 1 of Lemma qrng_wf


<ℚ+*> ∈ Rng
BY
{ (MemTypeCD THENA Auto) }

1
<ℚ+*> ∈ RngSig

2
.....set predicate..... 
IsRing(|<ℚ+*>|;+<ℚ+*>;0;-<ℚ+*>;*;1)

---

Latex:

---

Latex:

<\mBbbQ{}+*>  \mmember{}  Rng


By

---

Latex:
(MemTypeCD  THENA  Auto)

---

Home Index