位相線型環
↑ つまり X = ⋃ n ∈ N K n {\displaystyle \textstyle X=\bigcup _{n\in \mathbb {N} }K_{n}}