is (X intersect Y) a subset of Y?