ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Result R507 on D16: Countable set

Empty set is countable

Formulation 0

Let $\emptyset$ be the D13: Empty set.

Then $\emptyset$ is a D16: Countable set.