In my topology class, we proved that countable sets can be dense in certain subspaces.

A second-countable manifold has many convenient properties, such as separability and metrizability under certain conditions.

Every infinite subset of the integers is a countable set.

When teaching introductory set theory, I always emphasize the axiom of countable choice and how it differs from the full axiom of choice.