By virtue of the technique of integration within an ordered product of oper
ators we construct the normally ordered operator Fredholm equation. We use
it to derive some new operator formulas. For Weyl correspondence, operator
Fredholm equation can also be constructed. Some applications of the operato
r Fredholm equation are given.