Assertion: curve's point | /r/HasAspect | unique line disjoint
Facets:
value: from the rest of the set
type: OTHER
Source sentences:
text: However, in finite projective geometry, ovals are instead defined as sets for which each point has a unique line disjoint from the rest of the set, a property that in Euclidean geometry is true of the smooth strictly convex closed curves.