, namely, the neighbourhood from

to

. The definition then proceeds to say that we can (by means of

define a neighbourhood, namely, that from

to