---

Step * of Lemma null-mapfilter

∀P,f,L:Top.  (null(mapfilter(f;P;L)) ~ null(filter(P;L)))
BY
{ ((UnivCD THENA Auto) THEN RepUR ``mapfilter`` 0 THEN RWO "null-map" 0 THEN Auto) }

---

Latex:

---

Latex:
\mforall{}P,f,L:Top.    (null(mapfilter(f;P;L))  \msim{}  null(filter(P;L)))


By

---

Latex:
((UnivCD  THENA  Auto)  THEN  RepUR  ``mapfilter``  0  THEN  RWO  "null-map"  0  THEN  Auto)

---

Home Index