Re: bag intersection definition

Mikito Harakiri wrote:

> The "standard" definition when
>
> {1,1,1} intersect {1,1} = {1,1}
>
> is just plain naive. Given that
>
> intersection = projection * equality selection * cross product
>
> (operator multiplication notation is right-associate)
>
> the definition should be:
>
> {1,1,1} intersect {1,1} = {1,1,1,1,1,1}

Yeah, but then you lose the equation that X intersect X = X. Anyway, this is largely esthetics.

• Jan Hidders