Dowker space/Definition

A topological space that is T4 but not countably paracompact.