完全正则 locale 的无点部分

（完全正则）locale 推广了（Tychonoff）空间；事实上，从一个 locale 到其空间子 locale 的过渡是一个被充分理解的余反射。但一个 locale 也拥有一个同等重要的无点子 locale，并且在态射被适当限制时，从一个 locale 到其无点子 locale 的过渡也是一个余反射。我们的主要定理是，每个 locale 都可以唯一地表示为其无点部分与空间部分的子直积，同样带有适当限制的投影。然后我们利用这一表示表明，任何 locale 都由（可描述为）其点在无点部分中的放置所决定。