关于试探函数空间$D(\Omega)$归纳极限拓扑的理解与定义问询

嘿，我最近在啃Rudin的Functional Analysis（《泛函分析》），卡在了试探函数空间$D(\Omega)$的归纳极限拓扑这儿，想好好搞明白它的定义——这里的$\Omega \subset \mathbb{R}^n$是个非空开集。我先把已经理清的定义步骤列出来，后面的内容没写完，先分享到这儿：

• 对每个紧集$K \subset \Omega$，$\tau_K$代表$D_K(\Omega)$上的Fréchet空间拓扑，而$D_K(\Omega)$指的是所有支撑集包含在$K$里的光滑函数构成的空间。
• 设$\beta$是$D(\Omega)$中所有凸平衡集$W$的集合，要求对每个紧集$K \subset \Omega$，$W \cap D_K(\Omega)$都是$\tau_K$-开集。
• 归纳极限拓扑的定义（原文此处未写完）：...

备注：内容来源于stack exchange，提问作者Celestina