Neighborhood

is a subset of

, then a neighborhood of

is a set

containing

in its interior. That is, there exists an open set

such that

. If

is itself open, it is called an open neighborhood of

. If

is compact, it is called a compact neighborhood of