小数点第n位の9に自然数nを対応させる写像でよくね
その写像は全単射になるからアレフ0