is a neighbourhood of if there is an open set such that .