Definimos los conjuntos: