> `S` is isomorphic to the power set

D'oh. I missed that.