Countable sets

A set $X$ is said to be countably infinite (or just countable) iff [...]. 

We also have the terms: at most countable and uncountable.

• A set is at most countable if it is [...].
• A set is uncountable if it is [...].