MultiSet subset operator
M subset N
MultiSet; a MultiSet, set, or list
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 ≔ MultiSet⁡a=1,b=2
N ≔ MultiSet⁡a=2,b=5,c=4
Mb ≔ 7
The MultiSet/subset operator was introduced in Maple 2016.
For more information on Maple 2016 changes, see Updates in Maple 2016.
Download Help Document