Topology Database
Login
spaces
axioms
theorems
search
space table
Lindelof
Description: Every open covering contains a countable subcovering.