If $X$ is a metric space, we construct Hausdorff $d$ measure from the outer measure


\begin{equation}
H^d(U) = \lim\_{\delta \to 0}\inf\left\{\sum\_{i=1}^\infty \left(\text{diam}(E\_i)\right)^d : \bigcup\_{i=1}^\infty E\_i \supseteq U, E\_i \text{ Borel}, \text{diam}(E\_i)<\delta\right\}
\end{equation}


We define the Hausdorff dimension of a (Borel?) set $U\subseteq X$ as $\text{dim}\_X(U) = \inf\left\{d : H^d(U) = 0\right\}$. Some basic properties include that if $U\_1,U\_2 \subseteq X$ then


\begin{equation}
\text{dim}\_X(U\_1\cup U\_2) = \max\{\text{dim}\_X(U\_1),\text{dim}\_X(U\_2)\}
\end{equation}


and if $X,Y$ are metric spaces, $X\times Y$ has the product topology, and $U\_1\subseteq X$, $U\_2\subseteq Y$, then


\begin{equation}
\text{dim}\_{X\times Y}(U\_1\times U\_2) \ge \text{dim}\_X(U\_1) + \text{dim}\_Y(U\_2)
\end{equation}


This inequality is tight.


**Question 1:** Is there a natural setting where the inequality reduces to equality for "nice" sets?


**Question 2:** Since this looks like a max-plus algebra, is there a way to make some kind of tropical semiring of sets using Hausdorff dimension?



Can Hausdorff dimension make sets into a Tropical Semiring?
Actually, the inequality for the Hausdorff dimension of product sets goes the other way 
(fixed in the OP now):


$$
\dim\_{X\times Y}(U\_1\times U\_2) \ge \dim\_X(U\_1)+\dim\_Y(U\_2).
$$


And you probably need to assume something about the metric space, locally compact should do. This inequality is a consequence of Frostman's Lemma (for compact metric spaces it is due to Howroyd), which says that $\dim\_X(U)$ is the supremum of all $s$ such that there exists a Borel probability measure on $U$ satisfying $\mu(B(x,r)) \le C\, r^s$. 


If $\mu\_1,\mu\_2$ are such measures for $U\_1, U\_2$ with exponents $s\_1, s\_2$, then $\mu\_1\times\mu\_2$ is a measure on $U\_1\times U\_2$ satisfying
$$
\mu\_1\times \mu\_2(B(x,r)) \le C\, r^{s\_1+s\_2},
$$
giving the inequality above.


Indeed there are examples of sets $U\_1$ of Hausdorff dimension $0$ in $\mathbb{R}$ (for example) such that $\dim(U\_1\times U\_1)=1$. 


However, there is a very natural condition under which equality holds: this will happen whenever either $U\_1$ *or* $U\_2$ have equal Hausdorff and *packing* dimension. Packing dimension is much less well known than Hausdorff dimension, however in my opinion this shouldn't be the case as it plays a dual role (it is defined in terms of packings rather than coverings) and, as this question illustrates, it is often necessary even if you only care about Hausdorff dimension! 


The packing dimension $\dim\_P U$ of a set $U\subset X$ (for any metric space $X$; I do not write the dependence on $X$ explicitly) is defined as follows. First we define *pre-packing* $s$-dimensional measure $P\_s$ as follows:
$$
P\_0^s(U) = \sup\left\{ \sum\_i r\_i^s: B(x\_i,r\_i) \text{ is a packing of } U\right\}.
$$
$P\_0^s$ is not countably (or finitely) subadditive in general, so $s$-dimensional packing measure is defined as
$$
P^s(U) = \inf\left\{ \sum\_i P\_0^s(U\_i):U\subset \bigcup\_i U\_i \right\}.
$$
Then, as for Hausdorff dimension, the packing dimension is defined as
$$
\dim\_P(U) = \inf\{ s: P^s(U)=0 \} = \sup\{ s: P^s(U)=+\infty\}.
$$


As mentioned above, if $\dim(U\_1)=\dim\_P(U\_1)$, then one does have
$$
\dim(U\_1\times U\_2) = \dim(U\_1)+\dim(U\_2).
$$
This is not completely trivial but follows from the definitions.


All of this can be found e.g. in Mattila's book **"Geometry of sets and measures in Euclidean space"**


Now, most (though by no means all) sets one encounters in practice do have equal Hausdorff and packing dimensions. These include, for example, self-similar sets (even allowing overlapping), sets invariant under conformal dynamical systems, many random sets such as Brownian paths and graphs, more general Cantor sets defined inductively if the number and location of the pieces is not "too wild" and so on. So this is a large and natural class on which the hypotheses in the OP are met. 


Moreover, packing dimension satisfies the opposite inequality for product sets:
$$
\dim\_P(U\_1\times U\_2)\le \dim\_P(U\_1)+\dim\_P(U\_2).
$$


This means that if $\mathcal{U}$ is the class of sets $U$ in a (compact, say) metric space $X$ such that $\dim(U) = \dim\_P(U)$, then $\mathcal{U}$ is closed under products.


A sufficient (but far from necessary) condition for equality of Hausdorff and packing dimensions of $U$ is the existence of a measure $\mu$ on $U$ such that (for some constant $C>1$)
$$
C^{-1} \, r^s \le \mu(B(x,r)) \le C \, r^s \text{ for all }x\in U.
$$
Such sets $U$ are called *Ahlfors-regular* and as you could expect, the common value for the dimension is $s$.


I'm not familiar enough with tropical geometry but I suppose that if we consider the space of all finite cartesian products of sets/metric spaces with equal Hausdorff and packing dimension, then Hausdorff dimension would be some sort of tropical morphism from this space to the reals.


