>>506
> 演算結果は集合になるので、一意に決まります。 


取り出す要素a,bは一意でないのに?

それに要素a,bが集合でない場合の演算∪はどう定義される?