]a,+∞[ = ∪ {]a, a + n[ : n∈ N}