Statement: For every first countable topological space \((X, \Cal T)\) there is a family \((\Cal D(x))_{x \in X}\) such that \(\forall x \in X\), \(D(x)\) countable local base at \(x\). \ac{Gutierres} \cite{2004} and note 159.
Howard_Rubin_Number: 425
Parameter(s): This form does not depend on parameters
This form's transferability is: Unknown
This form's negation transferability is: Negation Transferable
		  Article Citations:
		
		  Book references
		
		  Note connections: