El operador división A / B retorna todos los valores de "x" tales que para todo valor "y" en B existe una tupla formula_19 en A.