# Power set of infinite sets

Does the power set of the natural numbers contain an infinite number of infinite sets? If not, does there exist a power set of an infinite set that contains an infinite number of infinite sets?

• Every infinite set $X$ has infinitely many infinite subsets. For example, $X \setminus \{ x_1 , \dots , x_k\}$ are infinitely many. – Crostul Apr 27 '17 at 22:19
• Take, for example, the set of natural numbers, the set of even numbers, the set of multiples of 3, the set of multiples of 4, and so on. There are infinitely many of these sets and each is countably infinite. – infinitylord Apr 27 '17 at 22:19

Yes. For every $n \in \mathbb{N}$, the set $\mathbb{N} \setminus \{ n \}$ is in $P(\mathbb{N})$, and is infinite. And, there are clearly as many of those as there are natural numbers, i.e. infinitely many.
Yes, two examples of families of infinite subsets of $\mathbb N$:
$$A_n=\{k\in\mathbb N\mid k\neq n\}$$ and $$B_n=\{k\in\mathbb N\mid k\text{ is a multiple of }n\}$$
So you can see it's quite easy to find infinitely many infinite subsets of $\mathbb N$. Actually almost all subsets of $\mathbb N$ (and therefore almost all elements of the powerset of $\mathbb N$ are infinite.
A trivial example: The set of integers $$\Bbb Z$$ is an infinite set. Now, $$\Bbb Z$$ itself is also a subset of its power set $$P(\Bbb Z)$$. Likewise, every infinite set has trivially an infinite subset in its power set.