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$.