A projective plane is an incidence structure
which satisfies the following three axioms.
The order of a projective plane is defined to be the unique cardinal number
for all points p and all lines l, respectively.
- Each two distinct points are on a unique line.
- Each two distinct lines intersect in a unique point.
- There are four distinct points no three of which are on a common line.
Primary examples of projective planes are the
projective planes over vector spaces.
More general projective planes are
Contributed by Hauke Klein
Version $Id: projective.html,v 1.3 2001/01/09 11:37:37 hauke Exp $