General Topology and Applications