Introduction to topology