Convexity is essential. In , letThis set is closed, symmetric, and has gaps arbitrarily near zero. Given , choose so small-scale that the interval
has length at least one; it contains an integer , and then . Thus , although is not a neighbourhood of zero.
has length at least one; it contains an integer , and then . Thus , although is not a neighbourhood of zero.
Codex Wiki