>>115

>>109を許すような定義にすればいいのでは？
{1,2,3,3} を分割して {1,2} , {1,3}、その和集合が元の集合に戻らないのはおかしい。