simplificación mediante propiedades de conjuntos 3