If "ƒ" is not required to be surjective, then we say that "ƒ" partitions "N" into at most "x" parts.
If "ƒ" is surjective, then every element of "X" labels a non-empty subset of "N". In this case we say that "ƒ" is a partition of "N" into "x" parts.