y análogamente para los otros conjuntos y definimos