\sim\subset\left (\textbf{Z}\times\textbf{Z}^*\right )^2