一个实数的集合A，如果对每一A中的元素P，存在一包含P的区间，它们全部落入于A中，则称A为“开集”。这个概念可加以扩充并用来定义*拓扑空间。