Assertion: plane projective geometry | /r/HasProperty | nonempty set x
Facets:
value: along with a nonempty collection
type: OTHER
Source sentences:
text: A projective plane geometry is a nonempty set X (whose elements are called "points"), along with a nonempty collection L of subsets of X (whose elements are called "lines"), such that: