Definition:Weakly Open Set

Definition
Let $K$ be a topological field.

Let $X$ be a topological vector space with weak topology $w$.

Let $U \subseteq X$.

We say that $U$ is weakly open (or $w$-open) in $X$ $U$ is open in $\struct {X, w}$.