Elements of general topology