보조정리

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

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