A Definition of Surfaces of Z: A new 3D Discrete Jordan Theorem

We provide a definition of surfaces in Z3 which generalizes the surfaces of Morgenthaler and Rosenfeld (1981) when these are analyzed with the 26-connectivity. The surfaces thus defined which are finite satisfy a 3D Jordan property (i.e. the complement of a finite surface has two connected components) and we provide an algorithmic characterization of interior and exterior points. Besides, each point of a finite surface is 6-adjacent to both an interior and an exterior point.