 The elements of any finite subset can be ordered into a finite sequence.There are only countably many finite sequences, so also there are only countably many finite subsets.The following theorem gives equivalent formulations in terms of a bijective function or a surjective function.