Изображение в математиката е всяко съответствие между елементи на две множества.
Означаваме изображението от множеството в множеството по следния начин:
.
Изображението на множеството е дефинирано в множеството ако за произволен елемент , е съпоставен точно един елемент . Елементът се нарича образ на елемента , а елементът – първообраз на . Записваме:
,
при което a се нарича първообраз, а f(a) – образ под изображението f.
Специални случаи на изображение са инекцията, сюрекцията и биекцията, които нагледно могат да се обяснят със следните илюстрации на изображения от Х към Y:
Вижте също Функция
Източници
Категория:Теория на множествата