A finite linear space consists of finitely many points and proper subsets called lines such that every two points lie on exactly one line. The sets of family indices containing each ground point turn a nontrivial exactly one-intersecting family into a finite linear space.
New to topics? Read the docs here!