Larry Wall wrote: > You're confusing the map with the territory. We're trying to decide > *how* Junctions are like Sets, not defining them into two different > universes. I'm saying that all() is the Junction tha is most like > a Set. A none() Junction can be viewed as the specification for an > infinite set of sets that do not intersect with the corresponding all() > junction. Infinite sets are a bit hard to compute with directly.
OK, then; what would be the specification for a _single_ set that contains everything that doesn't intersect with a corresponding all() Junction (the sort of thing that I'd use if I wanted to find the largest subset of A that doesn't intersect with B)? > A one() junction is the spec for a number of sets corresponding to the > values of the corresponding all() junction, each of which contains only > one element from that set. An any() Junction is all possible subsets > not counting the null set. Yeah; I got that. -- Jonathan "Dataweaver" Lang
