Patrick Welche <prlw1@newn.cam.ac.uk> writes:
> I think this is right..
I think not. The section in question is defining the mathematical
terms of set theory, not their representation in SQL.
(BTW, is this file even still used? Right offhand I can't see it
anywhere in the 7.2 documentation set.)
regards, tom lane