An introduction to general topology