ection::::例子.如果formula_10，则有formula_11，但formula_12且formula_13。
性质.令formula_14则：
和内部的关系.令formula_1是拓扑向量空间，formula_21表示内部算子，且formula_22，则有：