A véges függvény olyan függvény , amelynek támogatása kompakt (vagyis a véges függvény eltűnik valamilyen kompakton kívül) .
A funkcionális elemzés során gyakran figyelembe vesszük a végtelenül differenciálható véges függvények terét, amelyet jelöl , ahol a definíciós tartomány.
A végeselem- módszerben véges függvényeket használnak bázisként: az egyes bázisfüggvények csak néhány szomszédos véges elemen nem egyenlők nullával. Ez lehetővé teszi a végeselemes mátrix ritkítását, ami viszont memóriát és időt takarít meg a mátrix felépítéséhez és az SLAE megoldásához.