ÁRBOLES DE FORZAMIENTO SEMÁNTICO PARA OPERACIONES ENTRE CONJUNTOS