A_x=\{y\in R\,|\,x-2y\in Q\}