Weak closure (source code)

= Weak closure

The weak closure $\overline K^w$ of $K$ is its closure in the <weak topology>. Thus $x\in\overline K^w$ exactly when every weak neighbourhood of $x$ meets $K$.