And for completeness’s sake, this is how the concept of "having the same size" can be, and indeed is, extended to infinite sets.