Lemas – tai pagalbinis teiginys, kuris įrodomas atskirai ir naudojamas pagrindiniam įrodymui (teoremai) pagrįsti.
Pavyzdžiai:
1. Geometrijoje: „Trikampio kampų suma lygi 180 laipsnių“ – dažnai naudojamas kaip lemas sudėtingesnėms teoremoms.
2. Matematikoje: Euklido lema: „Jei pirminis skaičius dalija dviejų skaičių sandaugą, tai jis dalija bent vieną iš jų“ – naudojamas aritmetikos pagrindų teoremai įrodyti.
3. Informatikoje: Pumping lema – naudojamas įrodyti, kad tam tikra kalba nėra reguliari.
Trumpai: lemas – tai „miniteorema“, kuri yra žingsnis didesniam įrodymui.
Jūsų pataisymai bus išsiųsti moderatorių peržiūrai, jei informacija tikslesnė/taisyklingesnė
ji bus patalpinta vietoj esamos.