The Jordan-Brouwer Separation Theorem - which rigorously defines an inside and outside for higher dimensional objects. http://www.math.uchicago.edu/~may/VIGRE/VIGRE2009/REUPapers/...