.设"S"为拓扑空间formula_1的一个子集，若所有包含"x"（注意"x"不一定属于"S"）的开集也包含至少一个"S"内的非"x"的点，即称"x"为"S"的极限点。由"S"内所有极限点所组成的集合称为"S"的导集，标记为formula_2。在T空间里，上述定义和要求"x"的每个邻域皆包含无限多个"S"的点是等价的。（在定义中使用“开邻域”的形式来证明一个点是极限点，使用“一般邻域”的形式来得到一个已知极限点的性质，这样通常会比较轻松。）另外，若"X"为序列空间，则可称"x" ∈ "X"为"S"