Description: A collection of neighborhood bases determines a topology. Part of Theorem 4.5 of Stephen Willard'sGeneral Topology. (Contributed by Jeff Hankins, 8-Sep-2009) (Proof shortened by Mario Carneiro, 11-Sep-2015)
Ref | Expression | ||
---|---|---|---|
Hypotheses | neibastop1.1 | |
|
neibastop1.2 | |
||
neibastop1.3 | |
||
neibastop1.4 | |
||
Assertion | neibastop1 | |