Twierdzenie Binga – twierdzenie udowodnione przez R.H. Binga^[1], będące wzmocnieniem twierdzenia Nagaty-Smirnowa (skąd nazywane czasem twierdzeniem Nagaty-Binga-Smirnowa) mówiące, że

• Przestrzeń Hausdorffa jest metryzowalna wtedy i tylko wtedy, gdy jest regularna i ma bazę σ-dyskretną.

Jednym z wniosków z twierdzenia Binga jest tzw. kryterium Binga mówiące, że

• Przestrzeń Hausdorffa jest metryzowalna wtedy i tylko wtedy, gdy jest kolektywnie normalna i ma punktowo miałki ciąg pokryć.

• Ryszard Engelking: Topologia ogólna. Wyd. pierwsze. Warszawa: Wydawnictwo Naukowe PWN, 1976, s. 346, 402.