Upprunaleg setning: Stærðræðilegri framsetning á fjöldatölu teljanlegs mengis er að talan n er fjöldatala mengisins A þá og því aðeins að til sé gagntækt fall f á hlutmengi náttúrulegra talna , þ. e. f : A  { 1 , ... , n } .
Leiðrétt setning: Stærðfræðilegri framsetning á fjöldatölu teljanlegs mengis er að talan n er fjöldatala mengisins A þá og því aðeins að til sé gagntækt fall f á hlutmengi náttúrulegra talna , þ. e. f : A  { 1 , ... , n } .