Definition:Basic Open Set
From ProofWiki
Definition
Let $T = \left({X, \tau}\right)$ be a topological space.
Let $\mathcal B \subseteq \tau$ be a basis for $T$.
Let $U \in \mathcal B$.
Then $U$ is a basic open set of $T$.
That is, a basic open set of a topology is an open set of that topology which is a member of a basis for that topology.
The basis itself needs to be specified for this definition to make sense.