We are given a language $L$ and a structure $M$ (model). Definable sets in this model are subsets of $M^n$ definable by a formula of $L$. The Grothendieck semiring of the structure is defined in the following way:

- First one forms the free semigroup on symbols [X] for $X$ a definable subset of $M^n$ for some $n$.
- Then one quotient the obtained semigroup by relations $$ [X] =[Y] $$ iff $X$ is isomorphic to $Y$ by a definable bijection, i.e. a bijection whose graph is a definable set. $$ [X \setminus Y] +[Y] =[X]$$
- Next one considers the product defined by $[X]\cdot [Y] = [X \times Y]$ in the same way.

If for some reason, I need to consider only compact definable subsets of $M^n$ (for some topology) at first then I obtain a Grothendieck semiring $R^0$. Secondly I consider all definable sets and I get a Grothendieck semiring $R$. Then my question is: What is the relation between $R$ and $R^0$?

More precisely: If any definable set ($\subset M^n$ say) is an infinite increasing union of compact definable sets, can we say that $R$ is in some sense a completion to $R^0$?

Also, if I know $R^0 \neq 0$ does it follow $R \neq 0$?

Edit: The language $L$ is Macintyre's language and the model $M$ is $\mathbb{Q}_p$. Definable sets in Macintyre language are semi-algebraic sets. I usually require that definable bijections are also (Haar) measure preserving. My original question does not depend on these details, though.