En mengde kan også defineres rekursivt: 0 ∈ , og hvis ∈ , så er +1 ∈ .