Problem 4 has an error: part B(a), the "power set" isn't really a power set! I've got a spurious {a} in there!
Also, in part B(b), the operation really is binary: it satisfies the three properties of being defined for all pairs, uniqueness, and the result is again a natural number. The student's point is interesting, but a little misdirected.
