Лемма — доказанное утверждение, полезное не само по себе, а для доказательства других утверждений. Примеры известных лемм — лемма Евклида, лемма Гаусса, лемма Накаямы.
Греческое слово «лемма» (λημμα) означает что-то полученное бесплатно, например подарок, взятка, прибыль.