Basic theorems about a generalization of neighborhood space as used by Seifert and Threlfall's "Textbook of Topology".
Basic theorems about a generalization of neighborhood space as used
by Seifert and Threlfall's "Textbook of Topology".

metamath/set.mm,metamath/set.mm,metamath/set.mm