Induktivt definerte mengder

En induktivt definer mengde er den minste mengden som inneholder en gitt mengde – kalt en basismengde – og som er lukket under gitte operasjoner. En mengde definers induktivt I følgende tre steg:  Basissteget: å spesifisere en basismengde  Induksjonssteget: å spesifisere operasjonene  Tillukningen: å ta den minste mengden som inneholder basismengden og som er lukket under operasjonene La oss induktivt definere partall:  Basismengde {0}  Operasjonene: en som tar x som argument og som gir x +2 som verdi, og en som tar x som argument og som gir x -2 som Verdi  Element i basismengden: 0  Steg 1: 2, -2  Steg 2: 4, -4  Steg 3: 6, -6