54-03 History of general topology [Consider also classification numbers pertaining to Section 01-XX] 362