A countable set A is usually written as A = \ {a_1, a_2, \dots\} which indicates the one-to-one correspondence of A with the set of natural numbers \Nat. This notation is also known as the enumeration ...