A finite projective plane of order n, with n > 0, is a
collection of lines and points such that
- every line contains n+1 points,
- every point is on n+1 lines,
- any two distinct lines intersect at exactly one point, and
- any two distinct points lie on exactly one line.
Annotation Form Interface