 It can be extended (by Fact \[hep\]) to the homotopy $H_n:M\times [0,1]\to N$ with $H_n(\cdot,0)=f_{n-1}$. Put $f_n=H_n(\cdot,1)$. This finishes the induction step and the proof of the theorem.

Again, the category of weakly semialgebraic spaces over (the underlying field of) $R$ may be considered a (not full in general) subcategory of ${\mathbf{WDS}}(R)$. But see the following important new example:

Let $Q$ be the square $[0,1]^2_{R}$. Now form $\widetilde{Q}$ in the following way: for each definable subset $A$ of $Q$ glue $A\times S^1$ to $Q$ by identifying $A\times \{ 1\} $ with $A$. If there are definable non-semialgebraic sets in $R^2$, then $\widetilde{Q}$ as a weakly definable space is not isomorphic to (an expansion of) a weakly semialgebraic space over $R$.

Definable CW-complexes
======================

A **relative definable CW-complex** $(M,A)$ over $R$ is a relative patch complex $(M,A)$ satisfying the conditions:

(CW1) immediate faces of patches have smaller dimensions than the original patches in the patch decomposition of $M\setminus A$,

(CW2) for each patch $\sigma \in \Sigma (M,A)$ there is a morphism $\chi_{\sigma} : E_n \rightarrow \overline{\sigma}$ ($E_n$ denotes the unit closed ball of dimension $n$) that maps the open ball isomorphically onto $\sigma$ and the sphere onto $\partial  \sigma$. For $A=\emptyset$, we have an **absolute definable CW-complex** over $R$. All definable CW-complexes are weak polytopes (absolute or relative, see V.7, p. 165, in [@WSS]). A **system of definable CW-complexes** is a system of spaces $(M,A_1,...,A_k)$ such that each $A_i$ is a closed subcomplex of the definable CW-complex $M$ (cf. V.7, p. 178, of [@WSS]). Such a
It can be extended (by Fact \[hep\ ]) to the homotopy $ H_n: M\times [ 0,1]\to N$ with $ H_n(\cdot,0)=f_{n-1}$. Put $ f_n = H_n(\cdot,1)$. This finishes the induction gradation and the validation of the theorem. 

 Again, the category of weakly semialgebraic space over (the fundamental field of) $ R$ may be considered a (not entire in general) subcategory of $ { \mathbf{WDS}}(R)$. But see the come important new exercise: 

 Let $ Q$ be the square $ [ 0,1]^2_{R}$. Now imprint $ \widetilde{Q}$ in the following way: for each definable subset $ A$ of $ Q$ glue $ A\times S^1 $ to $ Q$ by identifying $ A\times \ { 1\ } $ with $ A$. If there are definable non - semialgebraic sets in $ R^2 $, then $ \widetilde{Q}$ as a weakly definable outer space is not isomorphic to (an expansion of) a weakly semialgebraic space over $ R$. 

 Definable CW - building complex 
 = = = = = = = = = = = = = = = = = = = = = = 

 A * * relative definable CW - complex * * $ (M, A)$ over $ R$ is a relative patch complex $ (M, A)$ satisfy the conditions: 

 (CW1) immediate faces of patches have minor dimensions than the original patches in the patch decomposition of $ M\setminus A$, 

 (CW2) for each patch $ \sigma \in \Sigma (M, A)$ there constitute a morphism $ \chi_{\sigma }: E_n \rightarrow \overline{\sigma}$ ($ E_n$ denotes the unit closed ball of dimension $ n$) that maps the open ball isomorphically onto $ \sigma$ and the sphere onto $ \partial   \sigma$. For $ A=\emptyset$, we have an * * absolute definable CW - complex * * over $ R$. All definable CW - complexes are watery polytopes (absolute or relative, see V.7, p. 165, in [ @WSS ]). A * * organization of definable CW - complex * * is a system of spaces $ (M, A_1,... ,A_k)$ such that each $ A_i$ is a closed subcomplex of the definable CW - complex $ M$ (californium. V.7, p. 178, of [ @WSS ]). Such a
 It can be extended (by Fact \[hep\]) to the homotopy $H_i:M\times [0,1]\to N$ wigh $H_n(\cdot,0)=f_{n-1}$. Put $f_n=H_n(\cdot,1)$. Thid dinisyes the induction step and the iroof of rhe uheorem.

Again, the rztegory of weznly vxmialgebraic spsces over (dhe underlying fkepd of) $R$ may be considered a (not fulj in gemegal) subcategori of ${\kwthbr{WDS}}(R)$. But see the following importznt new example:

Let $Q$ be the square $[0,1]^2_{R}$. Now form $\aidehilde{Q}$ in the folllwing way: fir ewxh definable subset $A$ of $Q$ glue $A\tjmes S^1$ to $Q$ by identifying $A\timds \{ 1\} $ with $A$. If tyerf are definaule nog-semialgebralb sets hn $R^2$, thrn $\widetilde{Q}$ ss e weqkly definable space ms not isomorphic to (an expanvikn of) a weakly seniqlgebtaic vpacd ovdr $D$.

Dxfihable FW-ckmplexes
======================

A **delative dedinable CW-complex** $(M,S)$ jnrr $R$ is a remative pwtch complex $(M,A)$ satisfying the conditiots:

(CS1) immediate faces of parches have smaller dilensions ehan the original patches in the patch decomposithon oh $O\seumlkus X$,

(XW2) for each patch $\sigma \in \Sigma (M,A)$ there is a ikrkhixm $\chi_{\sigma} : E_k \rightarrow \overlonf{\sodma}$ ($E_n$ denoter the bhif closed ball of dlmensiog $n$) tyat maps uhe olen ball isomorphically onti $\sigma$ and nhe wphere onto $\partiap  \sigma$. Fox $A=\empjyset$, ee have an **absolute defnnable CW-complex** lver $R$. Alm definable CW-comoleqes dre weak polytopes (absolutq or relavive, xee V.7, p. 165, in [@WSS]). A **system of defikdble CW-complexes** id a sistem mf spaces $(L,A_1,...,A_k)$ such that each $A_i$ is a closed subcomplex ox tve defincble CE-complex $M$ (cf. V.7, p. 178, of [@WSS]). Soch a
It can be extended (by Fact \[hep\]) homotopy [0,1]\to N$ $H_n(\cdot,0)=f_{n-1}$. Put $f_n=H_n(\cdot,1)$. and proof of the Again, the category weakly semialgebraic spaces over (the underlying of) $R$ may be considered a (not full in general) subcategory of ${\mathbf{WDS}}(R)$. see the following important new example: Let $Q$ be the square $[0,1]^2_{R}$. Now $\widetilde{Q}$ the way: each definable subset $A$ of $Q$ glue $A\times S^1$ to $Q$ by identifying $A\times \{ 1\} with $A$. If there are definable non-semialgebraic sets $R^2$, then $\widetilde{Q}$ as weakly definable space is not to expansion of) weakly space $R$. Definable CW-complexes A **relative definable CW-complex** $(M,A)$ over $R$ is a relative patch complex $(M,A)$ satisfying the conditions: (CW1) faces of smaller dimensions the patches the patch decomposition A$, (CW2) for each patch $\sigma there is a morphism $\chi_{\sigma} : E_n \rightarrow ($E_n$ denotes unit closed ball of dimension $n$) maps the open ball isomorphically onto $\sigma$ and sphere onto $\partial \sigma$. For $A=\emptyset$, we have an **absolute definable CW-complex** over $R$. All are weak polytopes (absolute relative, see V.7, 165, [@WSS]). **system definable CW-complexes** a system of spaces $(M,A_1,...,A_k)$ such that each $A_i$ is a subcomplex of the definable CW-complex $M$ (cf. V.7, p. 178, Such
 It can be extended (by Fact \[hep\]) tO the homotoPy $H_n:M\TimEs [0,1]\tO N$ With $h_n(\cdOt,0)=f_{n-1}$. Put $f_n=H_n(\cdoT,1)$. this Finishes the induction stEp and ThE ProoF Of The thEorem.

AgAIn, THE caTeGoRy oF wEAkLy semIalGebraic Spaces over (The UnDerlying fielD Of) $r$ may be consIdeRed a (not full iN geNeral) sUbCatEGory oF ${\maThbf{WdS}}(R)$. But SEe the fOllowing iMpORtant nEW examplE:

lEt $q$ be tHe square $[0,1]^2_{R}$. Now form $\wIDeTIlde{Q}$ in the follOwing wAy: FOr EACh dEfiNable subseT $A$ Of $Q$ glUE $A\times s^1$ To $q$ BY IdeNTifying $A\times \{ 1\} $ With $A$. If therE Are DefinaBlE noN-SemialGebraIc SEts In $R^2$, then $\wideTildE{Q}$ as a weakLy defiNAble spaCE is not iSomorpHic To (aN expANsIoN of) A wEAklY SeMiaLGebRaic spacE oVeR $R$.

DefInabLE cw-CompLexEs
======================

A **rElatiVe definable CW-ComPlex** $(m,a)$ ovEr $R$ is A relaTive PaTch coMplex $(M,a)$ satiSfYing the conditioNs:

(CW1) Immediate FacEs Of pAtChes hAVe smalLer DimEnsions Than the ORigInAL PAtChes in the patch decoMpOSItIon of $M\seTminus a$,

(cW2) FoR Each patcH $\sIgmA \in \SIGMa (M,A)$ tHere IS a Morphism $\Chi_{\sigMA} : E_N \rIghtarrOw \OverliNe{\SigMa}$ ($E_N$ denoTEs thE unit cLosed balL of diMEnsion $n$) that mapS The open ball isOMoRPHiCAlly OntO $\sigma$ and thE sphERe onTo $\paRTiAl  \sIGma$. FoR $A=\empTySEt$, WE have an **absolute defiNaBle CW-cOmpleX** over $R$. All defiNable CW-comPLEXes are weAk poLYtOPes (absolute or rElatiVe, see V.7, p. 165, in [@Wss]). A **system Of defInable CW-Complexes** IS A system oF spAceS $(M,A_1,...,a_k)$ sUCH tHat each $A_i$ is a cLOSed sUbComplex Of tHe definAblE CW-ComPleX $M$ (Cf. V.7, p. 178, of [@WSS]). such a
 It can be extended (by Fa ct \[hep\] ) tothe  ho mo topy  $H_ n:M\times [0,1 ] \toN$ with $H_n(\cdot,0)= f_{n- 1} $ . Pu t  $ f_n=H _n(\cdo t ,1 ) $ . T hi sfin is h es  theind uctionstep and t hepr oof of the t h eo rem.

Agai n,the category  of  weakl ysem i algeb rai c spa ces ov e r (the  underlyi ng fieldo f) $R$m a ybe c onsidered a (notf ul l  in general) s ubcate go r yo f  ${ \ma thbf{WDS}} (R )$. B u t see t h ef o l low i ng importantnew example : 

L et $Q$  b e t h e squa re $[ 0, 1 ]^2 _{R}$. Nowform  $\wideti lde{Q} $  in the followi ng way : f oreach de fi nab le sub s et  $A $  of  $Q$ glu e$A \time s S^ 1 $ t o $Q $ b y id entif ying $A\times  \{  1\} $ w ith $ A$. I f th er e are  defin ableno n-semialgebraic  set s in $R^2 $,th en$\ widet i lde{Q} $ a s a  weakly  defina b lesp a c e  i s not isomorphic t o( a nexpansio n of)a  w ea k ly semia lg ebr aics p ace o ver$ R$ .

Defin able C W -c om plexes== ====== == === === ===== = 

A**rela tive def inabl e  CW-complex**$ (M,A)$ over $ R $i s  a rela tiv e patch com plex $(M, A)$s at isf y ing t he co nd i ti o ns:

(CW1) immediat efacesof pa tches have sm aller dime n s i ons than  the or i ginal patchesin th e patch de c ompositi on of  $M\setm inus A$,( CW2) for  ea chpat ch$ \ si gma \in \Sigm a (M,A )$  thereisa morph ism  $\ chi _{\ si gma} : E_ n \right ar ro w\o ver line{ \ sigma}$($ E_n $den otest he uni t clo sedba ll ofdimensi o n$ n $) t ha tmaps  th eopenball iso morphic ally onto  $\ s igma $an d the s phere onto $\ pa rtial  \si gm a$.  For $ A = \emptyse t$, we have an **absolu t e defin abl e CW- comp lex** ove r $ R$. Al l d e finabl e CW-c omple xe s a r e  weak p ol yto pe s (absolut e orrelat iv e, s ee V.7,  p. 165, in [@WSS] ) . A  **system ofdef inab l e  C W-c o mp l exe s* *  is a  system of spac es $(M,A_1 ,. . ., A_k)$ such tha teach $A _i$ isa clo s ed subc omplex of  the defi na bleC W -co mplex $M$(cf. V.7 , p. 178, of [@ W SS ]). S uch  a
 It_can be_extended (by Fact \[hep\])_to the_homotopy_$H_n:M\times [0,1]\to_N$_with $H_n(\cdot,0)=f_{n-1}$. Put_$f_n=H_n(\cdot,1)$. This finishes_the induction step and_the proof of_the_theorem.

Again, the category of weakly semialgebraic spaces over (the underlying field of) $R$ may_be_considered a_(not_full_in general) subcategory of ${\mathbf{WDS}}(R)$._But see the following important_new example:

Let_$Q$ be the square $[0,1]^2_{R}$. Now form $\widetilde{Q}$_in_the following way:_for each definable subset $A$ of $Q$ glue $A\times_S^1$ to $Q$ by identifying $A\times_\{ 1\} $_with_$A$._If there are definable_non-semialgebraic sets in $R^2$, then $\widetilde{Q}$_as a weakly definable space is_not isomorphic to (an expansion of) a_weakly semialgebraic space over $R$.

Definable CW-complexes
======================

A_**relative definable CW-complex** $(M,A)$ over_$R$ is_a relative patch complex $(M,A)$_satisfying the conditions:

(CW1)_immediate faces_of patches have_smaller dimensions than the original patches_in the patch_decomposition of $M\setminus A$,

(CW2) for each_patch_$\sigma \in \Sigma_(M,A)$_there_is a_morphism $\chi_{\sigma} :_E_n_\rightarrow \overline{\sigma}$_($E_n$_denotes the unit closed ball of_dimension_$n$) that maps the open ball isomorphically_onto $\sigma$ and the_sphere_onto $\partial  \sigma$._For $A=\emptyset$, we have an_**absolute definable CW-complex** over $R$. All_definable CW-complexes_are weak_polytopes (absolute or relative, see V.7, p. 165, in [@WSS]). A_**system of definable CW-complexes** is a_system of spaces $(M,A_1,...,A_k)$_such that_each_$A_i$ is a_closed_subcomplex of_the definable CW-complex $M$ (cf. V.7, p._178, of_[@WSS]). Such a