2010/4/6 Larry Wall <la...@wall.org>: > Set(Read | Write) # bogus, R|W is really 3 sets, R, W, and RW! > Set(Read & Write) # okay, can only represent RW
Set(A | B) doesn't seem so bogus to me, if what you want is the power set- not the original posters intent, but reasonable in other contexts. Though it's not quite the power set of A,B since it omits the empty set. Still, I wonder if special-casing passing a junction to a set is helpful. Why write Set (A & B) when you mean Set(A,B), and what if you want a set of junctions, e.g. Set(A&B, B|C)?