(位相線型環#性質も参照)