Theory and problems of general topology