For and , then is the neighbourhood of if there is an open s.t. .