Similar to アルティン・リースの補題

Open and closed maps

Gauss's lemma (number theory)

Shadowing lemma

Kőnig's lemma

Zig-zag lemma

Pumping lemma for regular languages

Diagonal lemma

Zorn's lemma

Teichmüller–Tukey lemma

Neyman–Pearson lemma

Burnside's lemma

Pumping lemma

Fatou's lemma

Fodor's lemma

Pumping lemma for context-free languages

Splitting lemma

Bézout's identity

Snake lemma

Horseshoe lemma

Hotelling's lemma

Mostowski collapse lemma

Yoneda lemma

Rasiowa–Sikorski lemma

Riesz's lemma

Riemann–Lebesgue lemma

Lebesgue's number lemma

Weyl's lemma (Laplace equation)