Given two sets $A$ and $B$, their Cartesian Product $A \times B$ is a new set, whose elements are ordered pairs. These ordered pairs have an element of $A$ in the first coordinate, and an element of $B$ in the second coordinate. $A \times B$ is the set that contains all possible ordered pairs. In formal language,
$$ A \times B = \{ (a,b) : a \in A , b \in B \} $$
But you are trying to understand the cartesian product as a domain. To do this, I think it's best to consider a familiar example, the Cartesian Plane a.k.a the x-y plane. Recall that this is the 2-dimensional plane is defined by points
$$(x,y)$$
where $x \in \mathbb{R}$ and $y \in \mathbb{R}$. This can be written as
$$ \mbox{Cartesian Plane } = \mathbb{R} \times \mathbb{R} $$
and any real-valued function with this domain, $f:\mathbb{R}\times\mathbb{R}\to\mathbb{R}$, can be seen as a 3-dimensional surface over the plane.
The idea is similar for $\mathbb{R}^n \times (0,\infty)$, although it may not be easy to imagine. For the case $n=1$, we have $\mathbb{R} \times (0,\infty)$ which is the upper half plane. So any real-valued function can be pictured as a surface over the upper half plane