ℕ = {|a| : a ∈ ℤ} or ℕ = {|a| > 0: a ∈ ℤ}