的。事实上，假设"X"是局部凸的所以"X"上的拓扑由一族半范数{"p"|α∈"A"}生成，这里"A"是一个指标集。设"M"是一个闭子空间，定义"X"/"M"上半范数"q"为则"X"/"M"是一个局部凸空间，上面的拓扑是商拓扑。进一步，若"X"是可度量化的，则 "X"/"M"也是；如果"X"是弗雷歇空间，"X"/"M"也是。