基底(basis)選 τ 就行了,因為 τ 本身就是可數(countable)了!
τ 的定義為{Ø}∪{Χ-A│A為Χ的有限子集}。
因為『可數集的所有有限子集所成的集合為可數』,
所以{A│A為Χ的有限子集}為可數,
所以{Χ-A│A為Χ的有限子集}為可數,
因此 τ 為可數。
註:
關於『可數集的所有有限子集所成的集合為可數』的證明請參考『集合論』
方面的書籍,或在以下網頁
http://www.science.uva.nl/~seop/entries/set-theory/primer.html
的頁面上搜尋以下字串
The set of all finite subsets of a countable set is countable.