整列してあれば当然問題ないけどそのような構造を与えてない怪しい可算集合なら安心できないというのもひとつの考え方。