Definition:Countably Locally Finite Basis