¿Es (X intersección Y) un subconjunto de Y?