Definition:Weak Open Neighborhood

Definition

Let $K$ be a topological field.

Let $X$ be a topological vector space.

Let $x \in X$.

Let $U \subseteq X$.

We say that $U$ is a weak open neighborhood (or weak neighborhood) of $x$ if and only if $U$ is weakly open and $x \in U$.