Theorem T000242

Cosmicσ\sigma-space

Evident from the definitions, as a countable family of sets is σ\sigma-locally finite.

The converse ( σ\sigma-spaceCosmic ) cannot be proven from other theorems or disproven from a counterexample.

You can learn how to contribute a theorem or counterexample here.