compact neighbourhoods