Lemma: Any planar graph with vertices has at most edges.
Corollary: Any -vertex planar graph has edges.
An embedding of a graph is a function that plots vertices of a graph to points in a plane
For our use case
Any two edges intersect in at most one point
No edge contains a vertex in it's interior
Definition: A graph is planar, if it has an embedding in which no two edges with 4 distinct have a point in common.
No edges cross each other
Impossible planar graph
A crossing in an embedding is a pair of edges and with 4 distinct endpoints that have some point in common (whose edges cross)
The crossing number of a graph is equal to the minimum number of crossings in any embedding of
COMP2804