Countability

A set is countable iff , where is a one-one function.

Examples

• Countable: Any finite set,
• Uncountable: , Any open/closed intervals in .

Transitive property

Say .