Description: The projective subspace closure of a set equals the union of the closures of its finite subsets. Analogous to Lemma 3.3.6 of PtakPulmannova p. 72. Compare the closed subspace version pclfinclN . (Contributed by NM, 10-Sep-2013) (New usage is discouraged.)
Ref | Expression | ||
---|---|---|---|
Hypotheses | pclfin.a | |
|
pclfin.c | |
||
Assertion | pclfinN | |