 + \cdots + {\ensuremath{\mathbb{N}}}u_d)$-translate of any of its points. Hence the three sets in part (a), (b), (c) are equal.

The statements (4), (5), (6), (7) follow from Proposition \[Prop: Structure of Periodic\].

Note that not all the nonempty subsets $X$ of ${\ensuremath{\mathbb{Z}}}^d$ satisfying $$\label{Eqn: Periodic}
X\supseteq X +({\ensuremath{\mathbb{N}}}u_1 + \cdots + {\ensuremath{\mathbb{N}}}u_d)$$ are of the form ${\ensuremath{\mathcal {W}}}+ ({\ensuremath{\mathbb{N}}}u_1 + \cdots + {\ensuremath{\mathbb{N}}}u_d)$ for some subset ${\ensuremath{\mathcal {W}}}$ of ${\ensuremath{\mathbb{Z}}}^d$ (for instance, consider the subset ${\ensuremath{\mathbb{Z}}}\times {\ensuremath{\mathbb{N}}}$ of ${\ensuremath{\mathbb{Z}}}^2$). Moreover, there are subsets $X$ of ${\ensuremath{\mathbb{Z}}}^d$ which satisfy Equation and are of the form ${\ensuremath{\mathcal {W}}}+ ({\ensuremath{\mathbb{N}}}u_1 + \cdots + {\ensuremath{\mathbb{N}}}u_d)$, but are not periodic, i.e., not contained in the sum of ${\ensuremath{\mathbb{N}}}u_1 + \cdots + {\ensuremath{\mathbb{N}}}u_d$ and a nonempty finite set (for instance, consider the subset $\{ (n,-n)\,|\, n\in {\ensuremath{\mathbb{N}}}\} + {\ensuremath{\mathbb{N}}}^2$ of ${\ensuremath{\mathbb{Z}}}^2$).

Necessary condition
-------------------

\[Thm: existence of min complement implies\] Let $W$ be an eventually periodic subset of ${\ensuremath{\mathbb{Z}}}^d$ with periods $u_1, \cdots, u_d$. Let ${\ensuremath{\mathscr{W}}}, {\ensuremath{\mathcal {W}}}$ be as in Theorem \[Thm: Structure of Eventually Periodic\]. Let $M$ be a minimal complement of $W$ in ${\ensuremath{\mathbb{Z}}}^d$. Let $M_\infty$ denote the union of those fibres of the map $\pi: M \to {\ensuremath{\mathbb{Z}}}^d/{\ensuremath{\mathcal {L}}}$
+ \cdots + { \ensuremath{\mathbb{N}}}u_d)$-translate of any of its points. Hence the three sets in part (a), (b), (vitamin c) are adequate. 

 The statements (4), (5), (6), (7) follow from Proposition \[Prop: social organization of Periodic\ ]. 

 Note that not all the nonempty subset $ X$ of $ { \ensuremath{\mathbb{Z}}}^d$ satisfying $ $ \label{Eqn: Periodic } 
 X\supseteq X + ({ \ensuremath{\mathbb{N}}}u_1 + \cdots + { \ensuremath{\mathbb{N}}}u_d)$$ are of the form $ { \ensuremath{\mathcal { W}}}+ ({ \ensuremath{\mathbb{N}}}u_1 + \cdots + { \ensuremath{\mathbb{N}}}u_d)$ for some subset $ { \ensuremath{\mathcal { W}}}$ of $ { \ensuremath{\mathbb{Z}}}^d$ (for example, regard the subset $ { \ensuremath{\mathbb{Z}}}\times { \ensuremath{\mathbb{N}}}$ of $ { \ensuremath{\mathbb{Z}}}^2 $). Moreover, there embody subsets $ X$ of $ { \ensuremath{\mathbb{Z}}}^d$ which satisfy equality and are of the form $ { \ensuremath{\mathcal { W}}}+ ({ \ensuremath{\mathbb{N}}}u_1 + \cdots + { \ensuremath{\mathbb{N}}}u_d)$, but are not periodic, i.e., not contained in the sum of $ { \ensuremath{\mathbb{N}}}u_1 + \cdots + { \ensuremath{\mathbb{N}}}u_d$ and a nonempty finite set (for case, consider the subset $ \ { (n,-n)\,|\, n\in { \ensuremath{\mathbb{N}}}\ } + { \ensuremath{\mathbb{N}}}^2 $ of $ { \ensuremath{\mathbb{Z}}}^2 $). 

 Necessary condition 
 ------------------- 

 \[Thm: existence of min complement implies\ ] Let $ W$ be an finally periodic subset of $ { \ensuremath{\mathbb{Z}}}^d$ with periods $ u_1, \cdots, u_d$. Let $ { \ensuremath{\mathscr{W } } }, { \ensuremath{\mathcal { W}}}$ be as in Theorem \[Thm: Structure of Eventually Periodic\ ]. get $ M$ be a minimal complement of $ W$ in $ { \ensuremath{\mathbb{Z}}}^d$. Let $ M_\infty$ denote the coupling of those fibres of the function $ \pi: M \to { \ensuremath{\mathbb{Z}}}^d/{\ensuremath{\mathcal { L}}}$
 + \cfots + {\ensuremath{\mathbb{N}}}u_a)$-translate of aut of ivs poinfs. Hence the three sets in part (a), (b), (r) arw equql.

The statements (4), (5), (6), (7) fullow frol Proposutioi \[Prop: Structure of Periodic\].

Nofc thac iot all the nongmpty subsetv $X$ of ${\ensuremdtf{\mcthbb{Z}}}^d$ satisfying $$\label{Eqn: Periodic}
V\supsetrq X +({\ensuremath{\mwthbn{G}}}u_1 + \ddots + {\ensuremath{\mathbb{N}}}u_d)$$ are of fhe fork ${\ensuremath{\msthcal {W}}}+ ({\ensuremath{\mathbb{N}}}k_1 + \cfots + {\ensuremath{\mahhbb{N}}}u_d)$ for somq subset ${\ensufemath{\mathbcl {W}}}$ of ${\ensoremath{\mathbb{Z}}}^d$ (for instance, conrider the subsej ${\sndoremath{\mathbu{Z}}}\timef {\ensuremath{\mathbb{N}}}$ mf ${\ensutemath{\mathbb{Z}}}^2$). Korxovee, there are subsets $X$ of ${\ensuremath{\mathfb{Z}}}^d$ whicv aatisfy Equation qne are of dhe wirm ${\enaucemzth{\matjcam {W}}}+ ({\ensurejath{\mathbb{N}}}y_1 + \cdots + {\ensurematn{\mwnnbb{N}}}u_d)$, but ade not pqriodic, i.e., not contained in the sum of ${\tnsursmath{\mathbb{N}}}u_1 + \cdots + {\ebsuremath{\mathbb{N}}}u_d$ anf a nonem[ty finite set (for instance, consider the subset $\{ (t,-n)\,|\, n\ii {\dnsbvcmatf{\nahhbb{N}}}\} + {\ensuremath{\mathbb{N}}}^2$ of ${\ensuremath{\mathbb{Z}}}^2$).

Gsctsssry condition
-------------------

\[Tmm: existence of mim fokklement implier\] Let $C$ bs an eventually pegiodic fubser of ${\ensuwemayh{\mathbb{Z}}}^d$ with periods $u_1, \ceots, u_d$. Let ${\vnsueemath{\mathscr{W}}}, {\ensbremath{\mathccl {W}}}$ bg as im Theorem \[Thm: Structure of Sventually Oeriodic\]. Mdt $M$ be a minimau cpm[lement of $W$ in ${\ensuremath{\iathbb{Z}}}^d$. Oet $K_\infty$ aenoje the tnion of tjose nhbres of the map $\pl: M \tl {\ansuremath{\lathbb{Z}}}^d/{\ensuremath{\mathcal {L}}}$
+ \cdots + {\ensuremath{\mathbb{N}}}u_d)$-translate of any of Hence three sets part (a), (b), (4), (6), (7) follow Proposition \[Prop: Structure Periodic\]. Note that not all the subsets $X$ of ${\ensuremath{\mathbb{Z}}}^d$ satisfying $$\label{Eqn: Periodic} X\supseteq X +({\ensuremath{\mathbb{N}}}u_1 + \cdots + are of the form ${\ensuremath{\mathcal {W}}}+ ({\ensuremath{\mathbb{N}}}u_1 + \cdots + {\ensuremath{\mathbb{N}}}u_d)$ for some ${\ensuremath{\mathcal of (for consider the subset ${\ensuremath{\mathbb{Z}}}\times {\ensuremath{\mathbb{N}}}$ of ${\ensuremath{\mathbb{Z}}}^2$). Moreover, there are subsets $X$ of ${\ensuremath{\mathbb{Z}}}^d$ which satisfy and are of the form ${\ensuremath{\mathcal {W}}}+ ({\ensuremath{\mathbb{N}}}u_1 \cdots + {\ensuremath{\mathbb{N}}}u_d)$, but not periodic, i.e., not contained the of ${\ensuremath{\mathbb{N}}}u_1 \cdots {\ensuremath{\mathbb{N}}}u_d$ a nonempty finite (for instance, consider the subset $\{ (n,-n)\,|\, n\in {\ensuremath{\mathbb{N}}}\} + {\ensuremath{\mathbb{N}}}^2$ of ${\ensuremath{\mathbb{Z}}}^2$). Necessary condition ------------------- \[Thm: of min Let $W$ an periodic of ${\ensuremath{\mathbb{Z}}}^d$ with \cdots, u_d$. Let ${\ensuremath{\mathscr{W}}}, {\ensuremath{\mathcal {W}}}$ Theorem \[Thm: Structure of Eventually Periodic\]. Let $M$ a minimal of $W$ in ${\ensuremath{\mathbb{Z}}}^d$. Let $M_\infty$ the union of those fibres of the map M \to {\ensuremath{\mathbb{Z}}}^d/{\ensuremath{\mathcal {L}}}$
 + \cdots + {\ensuremath{\mathbb{N}}}u_d)$-tRanslate of Any of Its PoiNtS. HenCe thE three sets in paRT (a), (b), (c) Are equal.

The statements (4), (5), (6), (7) fOllow FrOM ProPOsItion \[prop: StrUCtURE of peRiOdiC\].

NOTe That nOt aLl the noNempty subsEts $x$ oF ${\ensuremath{\mAThBb{Z}}}^d$ satisfYinG $$\label{Eqn: PerIodIc}
X\supSeTeq x +({\EnsurEmaTh{\matHbb{N}}}u_1 + \cDOts + {\ensUremath{\maThBB{N}}}u_d)$$ arE Of the foRM ${\EnSureMath{\mathcal {W}}}+ ({\ensurEMaTH{\mathbb{N}}}u_1 + \cdots + {\EnsureMaTH{\mATHbb{n}}}u_d)$ For some subSeT ${\ensuREmath{\maTHcAL {w}}}$ Of ${\eNSuremath{\mathbB{Z}}}^d$ (for instaNCe, cOnsideR tHe sUBset ${\enSuremAtH{\MatHbb{Z}}}\times {\enSureMath{\mathbB{N}}}$ of ${\enSUremath{\MAthbb{Z}}}^2$). MOreoveR, thEre Are sUBsEtS $X$ oF ${\eNSurEMaTh{\mAThbB{Z}}}^d$ which SaTiSfy EqUatiON AND are Of tHe foRm ${\ensUremath{\mathcaL {W}}}+ ({\eNsurEMatH{\mathBb{N}}}u_1 + \cDots + {\EnSuremAth{\matHbb{N}}}u_D)$, bUt are not periodiC, i.e., nOt containEd iN tHe sUm Of ${\ensURemath{\MatHbb{n}}}u_1 + \cdots + {\EnsuremATh{\mAtHBB{n}}}u_D$ and a nonempty finitE sET (FoR instancE, consiDEr ThE Subset $\{ (n,-n)\,|\, N\iN {\enSureMATh{\matHbb{N}}}\} + {\ENsUremath{\mAthbb{N}}}^2$ OF ${\eNsUremath{\MaThbb{Z}}}^2$).

NEcEssAry CondiTIon
-------------------

\[THm: exisTence of mIn comPLement implies\] LET $W$ be an eventuaLLy PERiODic sUbsEt of ${\ensuremAth{\mAThbb{z}}}^d$ wiTH pEriODs $u_1, \cdOts, u_d$. leT ${\EnSUremath{\mathscr{W}}}, {\ensuReMath{\maThcal {w}}}$ be as in TheoreM \[Thm: StructURE Of EventuAlly pErIOdic\]. Let $M$ be a minImal cOmplement oF $w$ in ${\ensurEmath{\Mathbb{Z}}}^d$. let $M_\infty$ DENote the uNioN of ThoSe fIBReS of the map $\pi: M \tO {\ENsurEmAth{\mathBb{Z}}}^D/{\ensureMatH{\maThcAl {L}}}$
 + \cdots + {\ensuremath{\ mathbb{N}} }u_d) $-t ran sl ateof a ny of its poin t s. H ence the three sets in  part  ( a ), ( b ),  (c)are equ a l. The  s ta tem en t s(4),(5) , (6),(7) follow  fr om  Proposition \[ Prop: Stru ctu re of Period ic\ ].

No te  th a t not  al l the  nonem p ty sub sets $X$of ${\ens u remath{ \ m at hbb{ Z}}}^d$ satisfyin g  $ $ \label{Eqn: Pe riodic }X \s u p set eqX +({\ensu re math{ \ mathbb{ N }} } u _ 1 + \cdots + {\en suremath{\m a thb b{N}}} u_ d)$ $  are o f the  f o rm${\ensurema th{\ mathcal { W}}}+( {\ensur e math{\m athbb{ N}} }u_ 1 +\ cd ot s +  { \ ens u re mat h {\m athbb{N} }} u_ d)$ f or s o m e subs et${\e nsure math{\mathcal  {W }}}$ of${\en surem ath{ \m athbb {Z}}}^ d$ (f or  instance, cons ider  the subs et${ \en su remat h {\math bb{ Z}} }\times  {\ensu r ema th { \ m at hbb{N}}}$ of ${\en su r e ma th{\math bb{Z}} } ^2 $) .  Moreove r,  th erea r e sub sets $X $ of ${\ ensure m at h{ \mathbb {Z }}}^d$  w hic h s atisf y  Equ ationand areof th e  form ${\ensur e math{\mathcal {W } } }+ ({\e nsu remath{\mat hbb{ N }}}u _1 + \c dot s  + {\ ensur em a th { \mathbb{N}}}u_d)$,bu t arenot p eriodic, i.e. , not cont a i n ed in th e su m  o f  ${\ensuremath {\mat hbb{N}}}u_ 1  + \cdot s + { \ensurem ath{\math b b {N}}}u_d $ a nda n one m p ty  finite set ( f o r in st ance, c ons ider th e s ubs et$\{  ( n,-n)\,|\ , n\in { \e ns ur em ath {\mat h bb{N}}}\ }+ { \e nsu remat h {\math bb{N} }}^2 $of ${\ ensurem a th { \ math bb {Z }}}^ 2$) .
Nece ssar y  co ndition 
-------- --- - ---- -- -
\[Thm:  existence of  m in complem en t i mplies \ ]  Let $W$  be an eventually perio d ic subs etof ${ \ens uremath{\ mat hbb{Z} }}^ d $ with  perio ds $u _1 , \ c d ots,u _ d$ . L et  ${\ensure m a th{ \math sc r{W} }}, {\e nsuremath{\mathcal {W} }}$ be as inThe orem \ [T hm: St r uct ur e  of E ventually Perio dic\]. Let  $ M $be a minim a l c om plement  of $W$  in $ { \ensure math{\mat hbb{Z}}}^ d$ . Le t $M_ \infty$ de note the  union of those fi bresofthe ma p$\p i: M\to {\ e nsu remat h{\mat hb b{Z}}} ^d/{\ en suremath {\mathcal {L}}}$
 +_\cdots +_{\ensuremath{\mathbb{N}}}u_d)$-translate of any of_its points._Hence_the three_sets_in part (a),_(b), (c) are_equal.

The statements (4), (5),_(6), (7) follow_from_Proposition \[Prop: Structure of Periodic\].

Note that not all the nonempty subsets $X$ of ${\ensuremath{\mathbb{Z}}}^d$_satisfying_$$\label{Eqn: Periodic}
X\supseteq_X_+({\ensuremath{\mathbb{N}}}u_1_+ \cdots + {\ensuremath{\mathbb{N}}}u_d)$$ are_of the form ${\ensuremath{\mathcal {W}}}+_({\ensuremath{\mathbb{N}}}u_1 +_\cdots + {\ensuremath{\mathbb{N}}}u_d)$ for some subset ${\ensuremath{\mathcal {W}}}$_of_${\ensuremath{\mathbb{Z}}}^d$ (for instance,_consider the subset ${\ensuremath{\mathbb{Z}}}\times {\ensuremath{\mathbb{N}}}$ of ${\ensuremath{\mathbb{Z}}}^2$). Moreover, there_are subsets $X$ of ${\ensuremath{\mathbb{Z}}}^d$ which_satisfy Equation and_are_of_the form ${\ensuremath{\mathcal {W}}}+_({\ensuremath{\mathbb{N}}}u_1 + \cdots + {\ensuremath{\mathbb{N}}}u_d)$, but_are not periodic, i.e., not contained_in the sum of ${\ensuremath{\mathbb{N}}}u_1 + \cdots_+ {\ensuremath{\mathbb{N}}}u_d$ and a nonempty finite_set (for instance, consider the_subset $\{_(n,-n)\,|\, n\in {\ensuremath{\mathbb{N}}}\} + {\ensuremath{\mathbb{N}}}^2$_of ${\ensuremath{\mathbb{Z}}}^2$).

Necessary condition
-------------------

\[Thm:_existence of_min complement implies\]_Let $W$ be an eventually periodic_subset of ${\ensuremath{\mathbb{Z}}}^d$_with periods $u_1, \cdots, u_d$. Let_${\ensuremath{\mathscr{W}}},_{\ensuremath{\mathcal {W}}}$ be_as_in_Theorem \[Thm:_Structure of Eventually_Periodic\]._Let $M$_be_a minimal complement of $W$ in_${\ensuremath{\mathbb{Z}}}^d$._Let $M_\infty$ denote the union of those_fibres of the map_$\pi:_M \to {\ensuremath{\mathbb{Z}}}^d/{\ensuremath{\mathcal {L}}}$