定義
X を位相空間とし、(a_n) を X の点列とする。
A_n = { a_m | m ≧ n } とおけば、Φ = {A_n} はフィルター基底
(過去スレ006の77)である。
Φ の接触点(過去スレ006の132)を点列 (a_n) の接触点と言う。