que debe ser un subconjunto del complemento de Y .