As per issues 107 and 109, the material in
sets-relations-functions/sizes-of-sets needs to be cleaned up. It was inconsistent in its assumption about whether functions are always total (they are, according to the definition in the preceding chapter), it gave an incorrect formal definition of enumerability (leaving out the empty set), and whenever it mentions it inconsistently assumes that begins at 1. Issue 109 deals with the problem that the section
size-of-sets uses the cardinality notation which leads students to assume that they can manipulate cardinalities as they can in the finite case; the proposal is to replace with to avoid this.
If you teach these sections, these changes may affect you. Please comment on the issues in GitHub if you have concerns. They will be merged into the master branch in a week otherwise.