Натурал n тооноос хамаарсан тодорхой шинжийг батлах хэрэгтэй боллоо гэж бодъё. Энэ шинж нь томьёо, адитгал, тэнцэл биш, нотолгоо байж болно. Хэрвээ
Энэ шинж ямар нэгэн n0 натурал тооны хувьд үнэн
n=k үед энэ шинж үнэн байх нөхцлөөс үүдэн дурын k≥ n0 хувьд n=k+1 үед энэ шиж үнэн гэвэл энэ шинж нь дурын n≥ n0 натурал тооны хувьд үнэн байна.
Жишээ:
1+3+5+ … +(2n-1)=n² гэдгийг батал.
Бодолт:
Тэнцлийн баталгаанд математик индукцийн аргыг хэрэглэе. n=1 үед тэнцэл үнэн гэдэг нь ойлгомжтой байна. 1=1²
Тэгвэл ямар нэгэн k тооны хувьд тэнцлийг үнэн гэе. Өөрөөр хэлбэл
1+3+5+ … +(2k-1)=k²
тэнцэл үнэн гэсэн үг. Тэгвэл k+1 үед тэнцэл үнэн гэдгийг баталъя. Өгөгдсөн тэнцлийг n=k+1 тохиолдолд авч үзье.
1+3+5+ … +(2k-1)+(2k+1)=k²+(2k+1)=(k+1)²
Эндээс математик индукцийн нөхцлөөр k тооны хувьд тэнцэл биелэгдэнэ гэдгээс k+1 тохиолдолд тэнцэл үнэн боллоо. Тэгвэл дурын n натурал тооны хувьд тэнцэл хүчинтэй болсноор баталагдлаа.
нөхцлийг хангах ε тооноос хамаарсан δ(ε) тоо олдож байвал L тоог f(x) функцын 
гэж тэмдэглэнэ.
мужид орших δ тоог олж болно. Тодорхойлолт ёсоор функцын аргумент нь зөвхөн a -д ойртдог болохоос биш энэ утгыг авахгүй гэдгийг анхааралдаа авах хэрэгтэй. Энийг ямар ч функцын хязгаарыг олохдоо түүний тасралтын цэг дээр санаж байх хэрэгтэй.
илэрхийллийн хялбарчил.