Before revision:  A circumscribing polygon is a polygonization for G if every edge in E is an edge of P.
After revision:  A circumscribing polygon is a polygonization for G if every edge in E is an edge of P.