General topology and convergence