---

Step * of Lemma least-closed-set_wf

∀[B:Set{i:l}]. ∀[G:Set{i:l} ⟶ Set{i:l}].  (least-closed-set(B;G) ∈ Set{i:l})
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[B:Set\{i:l\}].  \mforall{}[G:Set\{i:l\}  {}\mrightarrow{}  Set\{i:l\}].    (least-closed-set(B;G)  \mmember{}  Set\{i:l\})


By

---

Latex:
ProveWfLemma

---

Home Index