Well, I guess the way around it is to define a partition of \$$X\$$ to be an equivalence class of onto functions \$$f: X \to Y\$$, as done in the book.