there exists a countable dense subset
*Lindelöf space: every open cover has a countable subcover
*?-compact space: there exists a countable cover by compact spaces

Relationships with each other

These axioms are related to each other in the following ways:
*Every first-countable space is sequential.
*Every