I have searched for a rigorous definition of a polyhedron in Euclidean $3$-space and found that (on wikipedia) it is quite difficult to formulate general definition as Euler, Cauchy etc. failed to do so. Now I have a definition in my mind but could anybody please point out where is the flaw?
Definition : A set E will be called a polyhedron in $3$-space if followings hold:
It is compact, locally flat (embedded $C^0$) $3$-submanifold with boundary.
Its boundary consists of finitely many polygons.
Any help will be appreciated.
P. S. I want a definition that will work for the proof of Dehn-Sydler Theorem.