[graycat]

Such a cube, i.e., a set, is closed, right? Sooo, there exists a function on the space that is 0 on the cube, strictly positive otherwise, and infinitely differentiable.