Definition Consider a Topological Space (X,T). A subcollection Ba of T is a local basis at a∈X if ∀B∈Ba,a∈B ∀U∈T s.t. a∈U,∃B∈Ba s.t. B∈U