A を可換環とし、I をそのイデアルとするとき、 を 0 の基本近傍系とする位相が定まり、A はこの位相に関して、和・積ともに連続となる(位相環)。この位相のことを A の I 進位相という。また、M を A 加群とするとき、 を 0 の基本近傍系とする線型位相は和…