Om X och Y är Banachrum så kallas en linjär begränsad operator T från X till Y för Fredholmoperator om dess nollrum N(T) är ändligdimensionellt och värdeförrådet R(T) är slutet och av ändlig kodimension. Differensen