> > given the premise that set |N, the union of all FISONs, is "more" than > > every FISON.
Since FISONs are nested (for any two different FISONs,, one is proper subset of the other) with no largest FISON possible, the union of all of them must be larger than any single one, at least outside of Wolkenmuekenheim.
This follows from the definition of FISONs.
So one does not need to presume that |N is more than (a proper superset of) any and every fFISON, one can prove it. --