Definition: Dual Planar Graph
Given a planar undirected graph \(G(V,E,\gamma)\), let \(F\) denote the set of all the faces of \(G\) in a particular given planar drawing \(\mathcal D\) of \(G\).
A dual graph \(G^\ast_{\mathcal D}(V^\ast,E^\ast,\gamma^\ast)\) is constructed as follows:
 Draw one new vertex in each face of the planar drawing: these are the vertices \(V^\ast\), of \(G^\ast_{\mathcal D}\). Thus, there are the same number of vertices in \(G^\ast_{\mathcal D}\), as there are faces in the planar drawing of \(G\), formally \(F=V^\ast\).
 For each edge \(e\) of the plane drawing, draw a new line joining the vertices of \(G^\ast_{\mathcal D}\) in the faces on either side of \(e\): these lines are the edges of \(G^\ast_{\mathcal D}\). Thus, there are the same number of edges in \(G^\ast_{\mathcal D}\), as there are edges in the planar drawing of \(G\), formally \(E=E^\ast\) and this defines the function \(\gamma^\ast\).
The index "\(\mathcal D\)" in the notation "\(G^\ast_{\mathcal D}\)" is used to indicate that the dual graph depends on a particular planar drawing of \(G\).
Example
The following figure shows a planar drawing of a graph (with orange vertices, labeled with numbers and with solid edges) and its dual graph (with blue vertices, labeled with letters and with dashed edges).
(c) bookofproofs
Notes and Observations
 A dual graph is defined for planar graphs, which do not necessarily have to be simple graphs, i.e. the original graph can contain loops and multiple edges.
 Loops or multiple edges in the original graphs transform into edges in the dual graph and vice versa. Thus, both graphs have exactly the same number of edges.
 The dual depends on the particular planar drawing. E.g. The following two figures show different planar drawings of the same graph (orange vertices) with different planar drawings resulting in different (i.e. not isomorphic) dual graphs:
(c) bookofproofs
(c) bookofproofs
Table of Contents
Corollaries: 1
Mentioned in:
Corollaries: 1
Explanations: 2
Lemmas: 3
Proofs: 4 5 6 7
Theorems: 8 9
Thank you to the contributors under CC BYSA 4.0!
 Github:

References
Bibliography
 Aldous Joan M., Wilson Robin J.: "Graphs and Applications  An Introductory Approach", Springer, 2000