On 7 Mrz., 11:35, William Hughes <wpihug...@gmail.com> wrote: > On Mar 7, 11:12 am, WM <mueck...@rz.fh-augsburg.de> wrote: > > > > > On 6 Mrz., 23:48, William Hughes <wpihug...@gmail.com> wrote: > > > > On Mar 6, 7:44 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > > > > > On 6 Mrz., 13:18, William Hughes <wpihug...@gmail.com> wrote: > > > > <snip> > > > > > > A subset K of the lines of L > > > > > contains every FIS of d iff > > > > > K has no findable last line. > > > > > No > > > > Let G be a subset of the lines of L > > > with a findable last line. Call > > > this line g. > > Note > > There does not exist > (in the sense of not findable) > a natural number m such that > the mth line of L is coFIS with > d
Note, there does not exist d other than as every FIS. These FISs are the same as the lines. Every findable thing in one set has a corresponding finadable thing in the other. There is no difference constructible.