Инекция е математическо изображение, което на всеки елемент а от множество A (първообраз) съпоставя най-много един елемент b от множество B (образ).