Similar to ファトゥの補題

Pumping lemma for context-free languages

Splitting lemma

Snake lemma

Horseshoe lemma

Mostowski collapse lemma

Yoneda lemma

Rasiowa–Sikorski lemma

Riesz's lemma

Riemann–Lebesgue lemma

Lebesgue's number lemma

Weyl's lemma (Laplace equation)

Measure theory

Uniform integrability

Outer measure

Pointwise convergence

Probability space

Probability measure

Counting measure

Measurable function

Carathéodory's criterion

Σ-algebra

Complete measure

Strictly positive measure

Locally integrable function

Locally finite measure

Sierpiński set