This can be thought of as an expansion of f according to a Dirac delta function basis (projecting f over δ δ ( x − − s ) ; and a superposition of the solution on each projection. Such an integral equation is known as a Fredholm integral equation, the study of which constitutes Fredholm theory.