Een afbeelding van de verzameling naar de verzameling is een relatie waarvan de originelenverzameling is en de beeldverzameling omvat, terwijl elk origineel één beeld heeft (een functie is dus een afbeelding).
Definitie: Een afbeelding
van de lineaire ruimte
naar de lineaire ruimte heet een lineaire afbeelding
als