en la diagrama anterior, tenemos los conjuntos: