Extremally disconnected space (source code)

= Extremally disconnected space
{wiki=Extremally_disconnected_space}

An **extremally disconnected space** is a topological space in which the closure of every open set is open.