O princípio da indução matemática tem a função de provar que uma sequência de proposições é verdadeira, sem que seja necessário provar individualmente essas proposições. Para utilizar este princípio, basta apresentar que P(1) é verdadeira, supor que P(k) também seja verdadeira e, por último, prova-se que P(k+1) é verdadeira. Neste tipo de demonstração, P(k) é chamada de: Hipótese de indução. Elemento neutro. Comutativo. Subconjunto.