Regular Lindelof space

Symbol-free definition
A topological space is termed regular Lindelof if it is regular and Lindelof.

Stronger properties

 * Metrizable space

Weaker properties

 * Paracompact Hausdorff space