Also, use the union name/class/symbol for what's usually the union, and define the intersection on multisets.