命題
実数体 R 上の局所凸(>>513)な位相線形空間の任意の族の直積は
局所凸である。

証明
>>525 より明らかである。