>>17
すべての正の実数εに対し、U_ε(P)∩Sが無限集合となるとき、PをSの集積点という。