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. This holds for every FIS of the list and cannot change. Otherwise, at least in mathematics and other exact science, one must be able to name a first number that deviates from this priciple. In matheology there may prevail other rules.