∈∀ℤ