4]). Let $\mathcal{F}_\text{a.e.}(V)$ be the set of congruence classes of constructible functions where $f \sim g$ if $f-g=0$ almost everywhere.

\[lemma\_inclusion\_into\_constr\_functions\] Denote by $Z$ the abelian group generated by all formal integral combination of compact convex polytopes in $V$. Let $W \subset Z$ denote the subgroup generated by lower-dimensional polytopes and elements of the form $[P \cup
Q]+[P \cap Q]-[P]-[Q]$ where $P \cup Q$ is convex. Then the map $$\begin{aligned}
Z/W & \to \mathcal{F}_\text{a.e.}(V)\\
\sum_i n_i [P_i] & \mapsto \sum_i n_i 1_{P_i}, \quad n_i \in \mathbb{Z} \end{aligned}$$ is injective.

It is easily checked that the map is well-defined. To prove injectivity, it is enough to prove that $f:=\sum_i 
1_{P_i} \sim \sum_j 1_{Q_j}$ implies $\sum_i [P_i] \equiv \sum_j [Q_j]$. Decompose the connected components of $$\left(\cup_i P_i \cup \cup_j Q_j\right) \setminus \left(\cup_i \partial P_i \cup \cup_j \partial Q_j\right)$$ into simplices $\{\Delta\}$, disjoint except at their boundary. Then, by the inclusion-exclusion principle, $$\sum_i [P_i] \equiv \sum_i \sum_{\Delta \subset P_i} [\Delta] \equiv \sum_{k \geq 1} (-1)^{k+1} \sum_{\Delta \subset \bigcup_{i_1<\ldots<i_k} \cap_{j=1}^k P_{i_j}}[\Delta]$$

By examining the superlevel set $\{f \geq k\}$ we see that $$\bigcup_{i_1<\ldots<i_k}(P_{i_1} \cap \ldots \cap P_{i_k})  \sim \bigcup_{j_1<\ldots<j_k}(Q_{j
4 ]). Let $ \mathcal{F}_\text{a.e.}(V)$ be the set of congruence classes of constructible function where $ f \sim g$ if $ farad - g=0 $ almost everywhere. 

 \[lemma\_inclusion\_into\_constr\_functions\ ] Denote by $ Z$ the abelian group generated by all formal built-in combination of compact convex polytopes in $ V$. Let $ W \subset Z$ denote the subgroup generate by lower - dimensional polytopes and elements of the kind $ [ P \cup 
 Q]+[P \cap Q]-[P]-[Q]$ where $ P \cup Q$ is convex. Then the function $ $ \begin{aligned } 
 Z / W & \to \mathcal{F}_\text{a.e.}(V)\\ 
 \sum_i n_i [ P_i ] & \mapsto \sum_i n_i 1_{P_i }, \quad n_i \in \mathbb{Z } \end{aligned}$$ is injective. 

 It is easily checked that the map is well - defined. To rise injectivity, it is enough to prove that $ f:=\sum_i 
 1_{P_i } \sim \sum_j 1_{Q_j}$ implies $ \sum_i [ P_i ] \equiv \sum_j [ Q_j]$. Decompose the connected component of $ $ \left(\cup_i P_i \cup \cup_j Q_j\right) \setminus \left(\cup_i \partial P_i \cup \cup_j \partial Q_j\right)$$ into simplices $ \{\Delta\}$, disjoint except at their boundary. Then, by the inclusion - exclusion rationale, $ $ \sum_i [ P_i ] \equiv \sum_i \sum_{\Delta \subset P_i } [ \Delta ] \equiv \sum_{k \geq 1 } (-1)^{k+1 } \sum_{\Delta \subset \bigcup_{i_1<\ldots < i_k } \cap_{j=1}^k P_{i_j}}[\Delta]$$ 

 By examining the superlevel set $ \{f \geq k\}$ we interpret that $ $ \bigcup_{i_1<\ldots < i_k}(P_{i_1 } \cap \ldots \cap P_{i_k })   \sim \bigcup_{j_1<\ldots < j_k}(Q_{j
4]). Leh $\mathcal{F}_\text{a.e.}(V)$ be the set of congrueuxe clavses or constrjctible functions where $f \sil t$ if $d-g=0$ almost everywhere.

\[leoma\_incluspon\_into\_cobstr\_hunctions\] Denote by $Z$ thc abemlan gxonp generated by all forman integral comtivacion of compact convex polytopes in $D$. Let $W \skbset Z$ denote the fubgdoup generated by lower-dimensional polytokes and elements og the form $[P \cup
Q]+[P \cap Q]-[P]-[Q]$ whege $P \cup Q$ is convfx. Then the map $$\vegin{aligned}
X/W & \to \mathcal{F}_\text{a.e.}(V)\\
\aum_i n_i [P_i] & \mapsto \sum_i n_i 1_{P_i}, \qjad n_n \in \mathbb{E} \snf{dligned}$$ is mnjectpve.

It is easily checkad that the map is wekl-dxfinwd. To prove injectivivy, it is enough to ptove that $x:=\sbm_i 
1_{P_i} \sim \sum_j 1_{Q_j}$ implues $\som_i [P_h] \eqjuv \rum_n [A_j]$. Decomoosx the connedted componwnts of $$\left(\cup_i P_i \cti \cup_j Q_j\righf) \setmynts \left(\cup_i \partial P_i \cup \cup_j \partial Q_j\dight)$$ into simplices $\{\Deota\}$, disjoint except aj their botndary. Then, by the inclusion-exclusion principle, $$\sgm_i [P_m] \dquny \rym_l \sum_{\Delta \subset P_i} [\Delta] \equiv \sum_{k \geq 1} (-1)^{k+1} \fhm_{\Cekta \subset \biggup_{i_1<\ldots<i_k} \cap_{j=1}^k L_{i_u}}[\Drjta]$$

By examinivg the sulerlevel set $\{f \geq k\}$ we sge thar $$\bigcup_{i_1<\jdotx<i_k}(P_{i_1} \cap \ldots \cap P_{i_k})  \sin \bigcup_{j_1<\ldons<j_k}(W_{j
4]). Let $\mathcal{F}_\text{a.e.}(V)$ be the set of of functions where \sim g$ if by the abelian group by all formal combination of compact convex polytopes in Let $W \subset Z$ denote the subgroup generated by lower-dimensional polytopes and elements the form $[P \cup Q]+[P \cap Q]-[P]-[Q]$ where $P \cup Q$ is convex. the $$\begin{aligned} & \mathcal{F}_\text{a.e.}(V)\\ \sum_i n_i [P_i] & \mapsto \sum_i n_i 1_{P_i}, \quad n_i \in \mathbb{Z} \end{aligned}$$ is injective. is easily checked that the map is well-defined. prove injectivity, it is to prove that $f:=\sum_i 1_{P_i} \sum_j implies $\sum_i \equiv [Q_j]$. the connected components $$\left(\cup_i P_i \cup \cup_j Q_j\right) \setminus \left(\cup_i \partial P_i \cup \cup_j \partial Q_j\right)$$ into simplices $\{\Delta\}$, disjoint at their by the principle, [P_i] \sum_i \sum_{\Delta \subset \equiv \sum_{k \geq 1} (-1)^{k+1} \sum_{\Delta P_{i_j}}[\Delta]$$ By examining the superlevel set $\{f \geq we see $$\bigcup_{i_1<\ldots<i_k}(P_{i_1} \cap \ldots \cap P_{i_k}) \sim
4]). Let $\mathcal{F}_\text{a.e.}(V)$ be the seT of congrueNce clAssEs oF cOnstRuctIble functions wHEre $f \Sim g$ if $f-g=0$ almost everywheRe.

\[lemMa\_INcluSIoN\_into\_Constr\_fUNcTIOns\] deNoTe bY $Z$ THe AbeliAn gRoup genErated by alL foRmAl integral coMBiNation of coMpaCt convex polyTopEs in $V$. LEt $w \suBSet Z$ dEnoTe the SubgroUP generAted by lowEr-DImensiONal polyTOPeS and Elements of the form $[p \CuP
q]+[P \cap Q]-[P]-[Q]$ where $P \Cup Q$ is CoNVeX. tHen The Map $$\begin{alIgNed}
Z/W & \TO \mathcaL{f}_\tEXT{A.e.}(V)\\
\SUm_i n_i [P_i] & \mapsto \Sum_i n_i 1_{P_i}, \quaD N_i \iN \mathbB{Z} \End{ALigned}$$ Is injEcTIve.

it is easily cHeckEd that the Map is wELl-definED. To provE injecTivIty, It is ENoUgH to PrOVe tHAt $F:=\suM_I 
1_{P_i} \Sim \sum_j 1_{Q_J}$ iMpLies $\sUm_i [P_I] \EQUIv \suM_j [Q_J]$. DecOmposE the connected ComPoneNTs oF $$\left(\Cup_i P_I \cup \CuP_j Q_j\rIght) \seTminuS \lEft(\cup_i \partial P_I \cup \Cup_j \partiAl Q_J\rIghT)$$ iNto siMPlices $\{\delTa\}$, dIsjoint Except aT TheIr BOUNdAry. Then, by the inclusIoN-EXcLusion prInciplE, $$\SuM_i [p_I] \equiv \suM_i \Sum_{\deltA \SUbset p_i} [\DeLTa] \Equiv \sum_{K \geq 1} (-1)^{k+1} \sUM_{\DElTa \subseT \bIgcup_{i_1<\LdOts<I_k} \cAp_{j=1}^k P_{I_J}}[\DelTa]$$

By exAmining tHe supERlevel set $\{f \geq k\}$ WE see that $$\bigcuP_{I_1<\lDOTs<I_K}(P_{i_1} \cAp \lDots \cap P_{i_k})  \sIm \biGCup_{j_1<\LdotS<J_k}(q_{j
4]). Let $\mathcal{F}_\tex t{a.e.}(V) $ bethe  se tof c ongr uence classeso f co nstructible functionswhere  $ f  \si m  g $ if$f-g=0$ al m o stev er ywh er e .
\[le mma \_inclu sion\_into \_c on str\_functio n s\ ] Denote b y $ Z$ the abeli angroupge ner a ted b y a ll fo rmal i n tegral  combinat io n  of co m pact co n v ex  pol ytopes in $V$. Le t  $ W  \subset Z$ de note t he su b g rou p g enerated b ylower - dimensi o na l p oly t opes and elem ents of the for m $[P\c upQ ]+[P \ cap Q ]- [ P]- [Q]$ where$P \ cup Q$ is  conve x . Thent he map$$\beg in{ ali gned } 
Z /W  &\t o  \m a th cal { F}_ \text{a. e. }( V)\\\sum _ i n _i [ P_i ] &\maps to \sum_i n_i  1_ {P_i } , \ quadn_i \ in \ ma thbb{ Z} \en d{ali gn ed}$$ is inject ive. 

It is e asi ly  ch ec ked t h at the  ma p i s well- defined .  To  p r o v einjectivity, it is  e n o ug h to pro ve tha t  $ f: = \sum_i 1_ {P_ i} \ s i m \su m_j1 _{ Q_j}$ im plies$ \s um _i [P_i ]\equiv  \ sum _j[Q_j] $ . De compos e the co nnect e d components o f  $$\left(\cup _ iP _ i\ cup\cu p_j Q_j\rig ht)\ setm inus \l eft ( \cup_ i \pa rt i al P_i \cup \cup_j \pa rt ial Q_ j\rig ht)$$ into si mplices $\ { \ D elta\}$,  dis j oi n t except at th eir b oundary. T h en, by t he in clusion- exclusion p rinciple , $ $\s um_ i [ P _ i]  \equiv \sum_ i \sum _{ \Delta\su bset P_ i}[\D elt a]\e quiv \sum _{k \geq  1 }(- 1) ^{k +1} \ s um_{\Del ta  \s ub set  \big c up_{i_ 1<\ld ots< i_ k} \ca p_{j=1} ^ kP _ {i_j }} [\ Delt a]$ $
By e xami n ing  the su perlevelset $\{f  \ ge q k\}$we see that $ $\ bigcup_{i_ 1< \ld ots<i_ k } (P_{i_1}  \cap \ldots \cap P_{i_ k })  \si m \ bigcu p_{j _1<\ldots <j_ k}(Q_{ j
4]). Let_$\mathcal{F}_\text{a.e.}(V)$ be_the set of congruence_classes of_constructible_functions where_$f_\sim g$ if_$f-g=0$ almost everywhere.

\[lemma\_inclusion\_into\_constr\_functions\]_Denote by $Z$ the_abelian group generated_by_all formal integral combination of compact convex polytopes in $V$. Let $W \subset Z$_denote_the subgroup_generated_by_lower-dimensional polytopes and elements of_the form $[P \cup
Q]+[P \cap_Q]-[P]-[Q]$ where_$P \cup Q$ is convex. Then the map_$$\begin{aligned}
Z/W_& \to \mathcal{F}_\text{a.e.}(V)\\
\sum_i_n_i [P_i] & \mapsto \sum_i n_i 1_{P_i}, \quad n_i_\in \mathbb{Z} \end{aligned}$$ is injective.

It is_easily checked that_the_map_is well-defined. To prove_injectivity, it is enough to prove_that $f:=\sum_i 
1_{P_i} \sim \sum_j 1_{Q_j}$_implies $\sum_i [P_i] \equiv \sum_j [Q_j]$. Decompose_the connected components of $$\left(\cup_i P_i_\cup \cup_j Q_j\right) \setminus \left(\cup_i_\partial P_i_\cup \cup_j \partial Q_j\right)$$ into_simplices $\{\Delta\}$, disjoint_except at_their boundary. Then,_by the inclusion-exclusion principle, $$\sum_i [P_i]_\equiv \sum_i \sum_{\Delta_\subset P_i} [\Delta] \equiv \sum_{k \geq_1}_(-1)^{k+1} \sum_{\Delta \subset_\bigcup_{i_1<\ldots<i_k}_\cap_{j=1}^k_P_{i_j}}[\Delta]$$

By examining_the superlevel set_$\{f_\geq k\}$_we_see that $$\bigcup_{i_1<\ldots<i_k}(P_{i_1} \cap \ldots \cap_P_{i_k})_ \sim \bigcup_{j_1<\ldots<j_k}(Q_{j