Sigma-lokaal-eindige basis: verschil tussen versies

Het bestaan van een sigma-lokaal-eindige basis voor een gegeven topologische ruimte is een [[aftelbaarheidsaxioma]]. Het ligt logisch tussen [[eerste aftelbaar]]heid en [[tweede aftelbaar]]heid in. Als <math>\mathcal{T}</math> een aftelbare basis heeft, dan is die basis een aftelbare unievereniging van singletons en dus ''a fortiori'' een sigma-lokaal-eindige basis. En als <math>\mathcal{T}</math> een sigma-lokaal-eindige basis heeft, dan kan die in ieder punt vanzelf beperkt worden tot een aftelbare lokale basis.