Sea formula_32 dotado con la operación de sustracción "formula_328", dicha operación no es cerrada, pues por ejemplo formula_329 no está definido en formula_32, ya que formula_331