---

Step * of Lemma closure-set_wf

∀[B:Set{i:l}]. ∀[Y:Set{i:l} ⟶ Set{i:l}]. ∀[x:Set{i:l}].  (closure-set(B;Y;x) ∈ Set{i:l})
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[B:Set\{i:l\}].  \mforall{}[Y:Set\{i:l\}  {}\mrightarrow{}  Set\{i:l\}].  \mforall{}[x:Set\{i:l\}].    (closure-set(B;Y;x)  \mmember{}  Set\{i:l\})


By

---

Latex:
ProveWfLemma

---

Home Index