for q being Element of REAL ex m being Element of INT st |.(q - m).| <= 1 / 2