• Abhyankar's lemma
• Aubin–Lions lemma
• Bergman's diamond lemma
• Fitting lemma
• Injective test lemma
• Hua's lemma (exponential sums)
• Krull's separation lemma
• Schanuel's lemma (projective modules)
• Schwartz–Zippel lemma
• Shapiro's lemma
• Stewart–Walker lemma (tensors)
• Whitehead's lemma (Lie algebras)
• Zariski's lemma

Algebraic geometry edit

• Abhyankar's lemma
• Fundamental lemma (Langlands program)

Category theory edit

• Five lemma
• Horseshoe lemma
• Nine lemma
• Short five lemma
• Snake lemma
• Splitting lemma

Linear algebra edit

• Matrix determinant lemma
• Matrix inversion lemma

Group theory edit

• Burnside's lemma also known as the Cauchy–Frobenius lemma
• Frattini's lemma (finite groups)
• Goursat's lemma
• Mautner's lemma (representation theory)
• Ping-pong lemma (geometric group theory)
• Schreier's subgroup lemma
• Schur's lemma (representation theory)
• Zassenhaus lemma

Polynomials edit

• Gauss's lemma (polynomials)
• Schwartz–Zippel lemma

Ring theory and commutative algebra edit

• Artin–Rees lemma
• Hensel's lemma (commutative rings)
• Nakayama lemma
• Noether's normalization lemma
• Prime avoidance lemma

Universal algebra edit

• Jónsson's lemma

• Fekete's lemma
• Fundamental lemma of calculus of variations
• Hopf lemma
• Sard's lemma (singularity theory)
• Stechkin's lemma (functional and numerical analysis)
• Vitali covering lemma (real analysis)
• Watson's lemma

Complex analysis edit

• Estimation lemma (contour integrals)
• Hartogs's lemma (several complex variables)
• Jordan's lemma
• Lemma on the Logarithmic derivative
• Schwarz lemma

Fourier analysis edit

• Riemann–Lebesgue lemma

Differential equations edit

• Borel's lemma (partial differential equations)
• Grönwall's lemma
• Lax–Milgram lemma
• Pugh's closing lemma
• Weyl's lemma (Laplace equation) (partial differential equations)

Differential forms edit

• Poincaré lemma of closed and exact differential forms

Functional analysis edit

• Cotlar–Stein lemma
• Ehrling's lemma
• Riesz's lemma

Mathematical series edit

• Abel's lemma
• Kronecker's lemma

Numerical analysis edit

• Bramble–Hilbert lemma
• Céa's lemma

• Danielson–Lanczos lemma (Fourier transforms)
• Farkas's lemma (linear programming)
• Feld–Tai lemma (electromagnetism)
• Little's lemma (queuing theory)
• Finsler's lemma

Control theory edit

• Finsler's lemma
• Hautus lemma
• Kalman–Yakubovich–Popov lemma

Computational complexity theory edit

• Isolation lemma
• Switching lemma

Cryptography edit

• Forking lemma
• Leftover hash lemma
• Piling-up lemma (linear cryptanalysis)
• Yao's XOR lemma

Formal languages edit

• Interchange lemma
• Newman's lemma (term rewriting)
• Ogden's lemma
• Pumping lemma sometimes called the Bar-Hillel lemma

Microeconomics edit

• Hotelling's lemma
• Shephard's lemma

• Cousin's lemma (integrals)
• Dickson's lemma
• Littlewood–Offord lemma
• Pólya–Burnside lemma
• Sperner's lemma
• Ky Fan lemma (combinatorial geometry)

Graph theory edit

• Berge's lemma
• Counting lemma
• Crossing lemma
• Expander mixing lemma
• Handshaking lemma
• Kelly's lemma
• Kőnig's lemma
• Szemerédi regularity lemma

Order theory edit

• Higman's lemma
• Ultrafilter lemma

• Barbalat's lemma
• Kac's lemma (ergodic theory)

• Shadowing lemma
• Big-little-big lemma (mathematics of paper folding)
• Gordan's lemma
• Hilbert's lemma

Euclidean geometry edit

• Archimedes's lemmas
• Johnson–Lindenstrauss lemma (Euclidean geometry)

Hyperbolic geometry edit

• Margulis lemma

Metric spaces edit

• Lebesgue's number lemma (dimension theory)

Riemannian geometry edit

• Gauss's lemma (Riemannian geometry)

• Craig interpolation lemma
• Diagonal lemma
• Lindenbaum's lemma
• Mostowski collapse lemma
• Teichmüller–Tukey lemma also known as Tukey's lemma
• Zorn's lemma; equivalent to the axiom of choice

Set theory edit

• Covering lemma
• Delta lemma
• Dynkin lemma
• Fodor's lemma
• Fixed-point lemma for normal functions (axiomatic set theory)
• Moschovakis coding lemma
• Rasiowa–Sikorski lemma

• Bézout's lemma
• Dwork's lemma
• Euclid's lemma
• Gauss's lemma
• Hensel's lemma
• Zolotarev's lemma
• Siegel's lemma (Diophantine approximation)

Analytic number theory edit

• Hua's lemma
• Vaughan's lemma

Diophantine equations edit

• Bhaskara's lemma

Sieve theory edit

• Fundamental lemma of sieve theory

• Borel–Cantelli lemma
• Doob–Dynkin lemma
• Itô's lemma (stochastic calculus)
• Lovász local lemma
• Stein's lemma
• Wald's lemma

Statistics edit

• Glivenko–Cantelli lemma
• Neyman–Pearson lemma
• Robbins lemma

Measure theory edit

• Factorization lemma
• Fatou's lemma
• Frostman's lemma (geometric measure theory)
• Malliavin's absolute continuity lemma

• Lindelöf's lemma
• Urysohn's lemma
• Tube lemma

Differential topology edit

• Morse lemma

Fixed-point theory edit

• Knaster–Kuratowski–Mazurkiewicz lemma

Geometric topology edit

• Dehn's lemma

Topological groups and semigroups edit

• Ellis–Numakura lemma (topological semigroups)