引理（ 古希臘語: λῆμμα, 拉丁語：Lemma，又稱「輔助定理」）是數學中為了取得某個更好的結論而作為步驟的已證明命題，其意義並不在於自身已完成證明，而在於其為了達成最終目的而作出貢獻。
一個引理可用於證明多個結論。數學中存在很多著名的引理，這些引理可能對很多問題的解決有幫助。例如歐幾里得引理、烏雷松引理、德恩引理、法圖引理、高斯引理、中山引理、阿貝爾引理、龐加萊引理、里斯引理和佐恩引理等。
引理和定理沒有嚴格的區分。
