Ordinary line
= Ordinary line
Relative to a finite point set, an <ordinary line> is a line containing exactly two points of that set. It is an exact-richness condition, not a count of unordered pairs alone: a line with three points contains three point pairs but is not ordinary. <Point-line duality> turns ordinary lines into intersections incident to exactly two dual lines.