Definition:Unit n-Cube

Theorem
Let $n \in \N$.

The unit $n$-cube $I^n$ is the Cartesian product of $n$ instances of the closed real interval $\set {x \in \R: 0 \le x \le 1}$:


 * $I^n = \closedint 0 1^n$