Sectie toegevoegd over telbaarheid van sets.