= neighbourhoods of with .

- all nets in will converge to all points in .