从formula_9到它的欧式距离小于formula_14，则formula_12也属于formula_7。等价的说:如果所有formula_7中的点有包含在formula_7中的邻域，则formula_7是开集。
赋距空间.赋距空间formula_20的子集"formula_7"是开集，如果给定任何"formula_7"中的点formula_9，存在一个实数formula_10使得，如果给定任何formula_25中的点formula_12，有formula_27，则"formu