En matemáticas, el producto interior (también conocido como derivada interior, multiplicación interior, operador de inserción o derivación interna) es una (anti)derivación de grado−1 en el álgebra exterior de formas diferenciales en una variedad diferenciable. El producto interior, nombrado así en oposición al producto exterior, no debe confundirse con un espacio prehilbertiano. El producto interior ιXω a veces se escribe como X ⨼ ω.[1]