n Î Naturals, name Î Students, city Î USCities, x Î Naturals
we say: n is a variable over Naturals or the range of n is Naturals