(partial) linear space

A partial linear space is a pair $(P,L)$ consisting of a set $P$ of points and a set $L$ of lines such that

• every line contains at least two points, and

• any two distinct points are on at most one line.

If, in addition, any two distinct points are on at least one line, then $(P,L)$ is called a linear space.

Title	(partial) linear space
Canonical name	partialLinearSpace
Date of creation	2013-03-22 17:15:32
Last modified on	2013-03-22 17:15:32
Owner	pan (17366)
Last modified by	pan (17366)
Numerical id	8
Author	pan (17366)
Entry type	Definition
Classification	msc 51A05