(X intersección (Y unión Z unión W)) subconjunto de (Y unión X)