Suppose A and B are countable. Explain why P(s), power set, and f: A ->B are not necessarily countable. P(s) is only countable if A and B are finite, am I am correct? Otherwise, the power set of an infinite set is not countable. As for f: A -> B, doesn't f have to be a bijection?