The seminorm family P and its every S-simplest form generate the same locally convex separated topology on X are proved.

• 引入半范数族P的S-最简形式和P-自反局部凸空间(X；TP)的概念；证明了半范数族P和它的每一个S-最简形式都生成X上相同的局部凸拓扑.