A projective plane C may be defined axiomatically as an incidence structure, in terms of a set P of points, a set L of lines, and an incidence relation I that determines which points lie on which lines. These sets can be used to define a plane dual structure.