x belongs to the set of integers