보조정리

위키백과, 우리 모두의 백과사전.
둘러보기로 가기 검색하러 가기

보조정리(補助定理, lemma 렘마[*])는 수학에서 이미 증명된 명제로서 그 자체가 중시되기보다 다른 더 중대한 결과를 증명하는 디딤돌로 사용되는 명제이다.