Geyne-Borel Lemmasi haqidagi matematik ta'limot 19-asr oxiri va 20-asr boshlarida rivojlantirilgan lemma, to'plamlarning finitetlik xususiyatini aniqlaydi va matematikaning ko'p sohalarida ishlatiladi