---

Step * of Lemma qoset_properties

∀[s:QOSet]. UniformPreorder(|s|;a,b.a ≤ b)
BY
{ ProvePropertiesLemma }

1
1. s : DSet
2. [%1] : UniformPreorder(|s|;a,b.a ≤ b)
⊢ SqStable(UniformPreorder(|s|;a,b.a ≤ b))

---

Latex:

---

Latex:
\mforall{}[s:QOSet].  UniformPreorder(|s|;a,b.a  \mleq{}  b)


By

---

Latex:
ProvePropertiesLemma

---

Home Index