On 6 Mrz., 21:54, Virgil <vir...@ligriv.com> wrote:
> > The list is nothing but the union of all lines. The union of all lines > > is the same as the sequence of all lines - without its limit. > > Actually, it is the the union of all lines that will contain any limit > and the sequence of all lines which will not contain any limit. > > That sequence will HAVE a limit, but will not CONTAIN it, as every > member of it is a FIS, and no FIS contains all other FISs.
You see that this sequence of lines does not contain its limit |N. You assert, however, that the union of all lines contains the limit | N.
You cannot explain that difference, because in this special example union and sequence are the same infinite entity.