Introductie: Een functie van de vorm $y(x)=x^k$, met $k$ een niet-negatief geheel getal wordt een positief geheeltallige machtsfunctie genoemd.

Extra uitleg 1: $x^k$ betekent dat we $k$-maal $x$ met zichzelf vermenigvuldigen. Dus $x^k=x \cdot x \cdot \ldots \cdot x$ ($k$-maal) voor een positief geheel getal $k$.

Extra uitleg 2: Per definitie geldt $x^0=1$.

Extra uitleg 3: $x=0$ is het enige nulpunt voor iedere positief geheeltallige machtsfunctie.