first-countable space (Q926996)
topological space in which every point admits a countable neighborhood basis
Language:
Current Data About first-countable space
(P279) (Q179899)
(P2534) \forall x\in X\exists\mathcal B\subset\mathcal N_x\colon|\mathcal B|\le\aleph_0\land\forall N\in\mathcal N_x\exists B\in\mathcal B\colon B\subset N
(P6104) (Q8487137)
(P7235) X
\mathcal N_x
\aleph_0
N
\land
other details