On 6 Apr., 19:02, William Hughes <wpihug...@gmail.com> wrote:
> > > Tell me which E you want to use. I will > > > name an element that is in D\E. > > > I will not leave any line that has a follower, i.e., I will use all > > finite lines (given that "all lines" is a meaningful notion for > > infinite sets.) > > You cannot. E has a largest element. The set of all finite > lines does not.-
You contradict yourself. E *is* the set of all finite lines, since every finite line has a follower, and all lines that have followers can be removed without changing the remaining union.