let superset u v = subset v u