Induktiivinen päättely
Induktiivinen päättely eli induktio on päättelymuoto, joka lähtee liikkeelle yksittäisestä havaintojoukosta ja muodostaa niistä yleistyksen tai teorian.
Injektio
Matematiikassa injektio on kuvaus, jossa jokainen lähtöjoukon alkio on täsmälleen yhden maalijoukon alkion alkukuva, toisin sanoen mitkään kaksi lähtöjoukon alkiota eivät kuvaudu samalle maalijoukon alkiolle. Yleisemmin, jokaisella funktion parametrilla funktiosta saadaan eri arvo.