conjunto {x in Z : -3 < x <= 4} por enumeração