定義
E を実数体 R 上の位相線形空間とする。
E が凸集合(>>424)からなる 0 の基本近傍系を持つとき E を
局所凸と言う。