Re: Requirements for update languages?

In article <3dd22e04$1_at_news.uia.ac.be>,
Jan Hidders <hidders_at_uia.ua.ac.be> wrote:
>[...] But that is definitely not the same as saying that it is impossible
>to define the bag cartesian product, which is false. If you're interested,
>here it is:
>
> B1 x B2 = { ( x, n+m ) | (x, n) in B1, (x, m) in B2 }

Ahem, that should of course be n.m, i.e., n times m, and not n+m. :-(

• Jan Hidders