isSubsetOf package:arithmoi

Check whether the first argument is a subset of the second one.