Bourbaki

General Topology · Chapter IX

Use of real numbers in general topology