M subset N returns true if the multiplicity of each element of M is at most the multiplicity of the same element of N.

At least one argument must be a MultiSet for this routine to be invoked.  Any other argument which is expected to be a MultiSet can be a MultiSet, a set or a list; in the latter two cases the argument is converted to a MultiSet before proceeding to evaluate this command.  IsGeneralized(M) must return the same value for all MultiSet arguments M, and all non-MultiSet arguments will be promoted to MultiSets with this same property.

$M≔\mathrm{MultiSet}\left(a=1\,b=2\right)$

$M≔\left\{\left[a\,1\right]\,\left[b\,2\right]\right\}$

$N≔\mathrm{MultiSet}\left(a=2\,b=5\,c=4\right)$

$N≔\left\{\left[a\,2\right]\,\left[b\,5\right]\,\left[c\,4\right]\right\}$

$M\mathbf{subset}N$

$\mathrm{true}$

$M\left[b\right]≔7$

$M_b≔7$

$M\mathbf{subset}N$

$\mathrm{false}$

The MultiSet/subset operator was introduced in Maple 2016.

For more information on Maple 2016 changes, see Updates in Maple 2016.