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 }.
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 }.