Definition:Edge of Polyhedron