Инекция

от Уикипедия, свободната енциклопедия

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

Като следствие, при зададено изображение f: A →B, от еднаквостта на образите f(a) = f(b) следва еднаквост на образите a = b, т.е. всеки елемент от B има най-много един първообраз и изображението съпоставя на различните елементи от A различни елементи от B. Затова такова изображение се нарича още влагане - множеството А с точност до еквивалентност е равно на подмножество на B.

Доказателството на биективност на дадено изображение често се разделя на две части, доказващи инективността и сюрективността на изображението.