Countability definition and S -> T -> Z -> N