以下は補題(あるいは「補題」、すなわち小定理、あるいは証明から除外される中間的な技術的結果)の一覧です。公理一覧、定理一覧、予想一覧も参照してください。
代数
代数幾何学
カテゴリー理論
5つの補題を示す可換図線形代数
群論
多項式
環論と可換代数
普遍代数
分析
複素解析
フーリエ解析
微分方程式
機能解析
数学級数
数値解析
応用数学
長さ8の高速フーリエ変換の図制御理論
計算複雑性理論
暗号化
ミクロ経済学
組合せ論
グラフ理論
秩序理論
動的システム
幾何学
ユークリッド幾何学
双曲幾何学
計量空間
リーマン幾何学
数理論理学
集合論
数論
解析的数論
ディオファントス方程式
ふるい理論
確率論
統計
測度論
トポロジー
微分位相幾何学
固定点理論
クナスター・クラトフスキー・マズルキエヴィチの補題によって記述される被覆の例幾何学的位相幾何学
位相群と半群