1: \begin{definition}\label{defcm}

2: 	A finite set $A$ of non-negative integers is said to satisfy the {\it Coven-Meyerowitz property} (or the CM-property), if  it satisfies conditions (T1) and (T2) in Theorem \ref{thcm}. We call the tiling set $B$ in Theorem \ref{thcm}, the {\it Coven-Meyerowitz (CM) tiling set} associated to $A$, and we denote it by $B=\operatorname{CM}(A)$.

3: 	\end{definition}