la_7"。等价的说:如果所有"formula_7"中的点有包含在"formula_7"中的邻域，"formula_7"是开集。这推广了欧几里得空间的例子，因为带有欧几里得距离的欧几里得空间也是度量空间。
拓扑空间.在拓扑空间中，开集是一项基础性的概念。你可以从任意集合formula_33出发，再选取"formula_33"的某个特定的子集族formula_35，使formula_35中的集合都满足作为开集应有的每一性质。这样的子集族formula_35被叫做"formul