Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

$A = \{$prime integers$\}$
$B = \{$odd, positive multiples of $5$$\}$
$C = \{(b^a)/(a^b)|a \in A, b \in B\}$

Prove that $C\cup \{c^a|a \in A, c \in C\}$ is countable.

I have no idea how to go about this. Can I say that since a subset of a countable set is countable, $C$ is therefore countable: it maps onto $\mathbb{N}$ and so I am essentially just proving $\mathbb{N}^a$? This is correct? How would I prove even that part?

share|cite|improve this question
It looks like your set is a subset of the rational numbers. – Braindead Jan 26 '14 at 4:27
@Braindead I am suffering from a condition similar to your username, and cannot figure out how to apply your comment to the proof. Is it enough to just say that if it's a subset of a countable set, it's therefore also countable? Do I actually need to care about what's inside set A and B in this question? – idlackage Jan 27 '14 at 16:02
It is true that a subset of a countable set is countable. Is this a homework problem for a class, or are you just doing this problem for your own personal understanding? – Braindead Jan 27 '14 at 17:42
A more challenging problem would be to have $a^c$ rather than $c^a$. – Braindead Jan 27 '14 at 17:42
@Braindead It is a homework question, but it would also be very helpful for personal understanding. Why is $a^c$ more challenging than $c^a$? – idlackage Jan 28 '14 at 0:07

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.