Lemat o pompowaniu – termin odnosi się do jednego lub wszystkich z poniższych twierdzeń nazywanych zwyczajowo lematami: