No pair of disjoint nonempty open sets covers the space.
Defined on page 7 of DOI 10.1007/978-1-4612-6290-9.