finite projective plane

A finite projective plane is a finite incidence structure of points and lines in which any two distinct points lie on a unique common line, any two distinct lines meet in a unique common point, and there exist four points no three of which are collinear.