union X empty X union empty X X 0 z z and tt X X mult z X z mult 0 X Y 0 mult X Y mult 1 X Y plus 0 mult X Y Y plus z X X plus 0 X 0 Y 0 plus X Y plus 0 X 1 Y 1 plus X Y plus 1 X 1 Y 0 plus plus X Y 1 z prod empty 1 z prod singl X X prod union A B mult prod A prod B sum empty 0 z sum singl X X sum union A B plus sum A sum B union 2 AC empty 0 0 1 z 0 and 2 tt 0 mult 2 AC 1 1 plus 2 AC prod 1 singl 1 sum 1 FULL ./TRS/CSR_Maude/bag-sum-prod/BAG_nosorts.trs