isSubsetOf package:intern

O(n+m). Is this a subset? (s1 isSubsetOf s2) tells whether s1 is a subset of s2.