Let \(G\) be a planar graph. Then any planar drawing of \(G\) divides the set of points of the plane not lying on \(G\) into regions, called faces. One face is of infinite extent and is called the infinite face.
Corollaries: 1
Definitions: 2 3
Explanations: 4
Proofs: 5 6 7 8 9 10
Theorems: 11