Local Basis of Open Subspace iff Local Basis

Theorem
Let Let $T = \struct{S, \tau}$ be a topological space.

Let $U \subseteq S$ be an open subset

Let $\tau_U$ denote the subspace topology on $U$.

Let $s \in U$.

Let $\BB \subseteq \powerset U$.

Then:
 * $\BB$ is a local basis of $s$ in $\struct{U, \tau_U}$ $\BB$ is a local basis of $s$ in $T$