"x" の点 "x" が点列("x""n")"n"∈nの密集点であるとは、"x" の任意の近傍 "v" に対し "x""n" ∈ "v" なる自然数nが無限に存在するときにいう。