pub fn superset<T, R>()where T: Superset<R>,
Asserts that the first set is a superset of the second set.