En induktiv mängd är en mängd som antingen är tom eller så finns det ett positivt heltal för den så att mängden innehåller exakt medlemmarna [1] . Om en mängd är induktiv är den ändlig och kan inte vara reflexiv. En reflexiv mängd är en mängd som är ekvivalent med sin egen delmängd . En mängd är finit om den är icke-reflexiv. En reflexiv uppsättning kan inte vara induktiv. Under villkoret av sanningen i valets axiom är alla befintliga mängder antingen induktiva eller reflexiva, den tredje är inte given [2] . Det finns inga mängder med kardinalitet mellan kardinaliteterna för finita och oändliga mängder [2] .