Comment Comment by 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. parent graycat 1 year ago