Vì `a` $\ne$ `0` nên `a` sẽ là số nguyên dương

`⇒ a ∈ { 1,2,3,4,5,6,7,8,9............... }`

`-` Số liền trước của `a` `∈ { 0,1,2,3,4,5,6,7,8,9,.......... }`

`-` Số liền sau của `a ∈ { 2,3,4,5,6,7,8,9,10,........... }`