Date: Mar 5, 2013 4:27 PM
Author: Virgil
Subject: Re: Matheology � 222 Back to the roots

In article 
<f22cc69b-9e52-486a-a707-5ebfd5964474@r8g2000vbj.googlegroups.com>,
WM <mueckenh@rz.fh-augsburg.de> wrote:

> On 5 Mrz., 00:52, Virgil <vir...@ligriv.com> wrote:
> > In article
> > <c89172cd-244c-4612-b473-b2a402542...@g8g2000vbf.googlegroups.com>,
> >
> >  WM <mueck...@rz.fh-augsburg.de> wrote:

> > > On 3 Mrz., 23:47, Virgil <vir...@ligriv.com> wrote:
> >
> > > > While what is contained in any set of lines WHICH HAS A LAST LINE is
> > > > contained in that last line, when one is outside of Wolkenmuekenheim,
> > > > MOST sets of lines do not have a last line, and no such set has all
> > > > members of all its lines in any one line.

> >
> > > It is not a matter of a last line. It is enough that every line
> > > contains all that its predecessors contain. This shows that there is
> > > never more than one line required to contain all preceding lines.

> >
> > But that does not meant that any one line can contain all lines, at
> > least not unless there is a last line.

>
> The list is constructed such that never more than one line is
> containing all elements.


If the list is complete, then never even one line contains al elements,
and if not complete then not the set of all lines.

> This holds for every FIS of the list

But never for the list itself.

Or does WM claim that some FIS is the list itself, and not have a
successor FIS?
--