მათემატიკაში, ინექციური ფუნქცია ან ინექცია ან ერთი- to- ერთი ფუნქცია ფუნქციაა, რომელიც ინარჩუნებს განსხვავებას: ის არასოდეს იკავებს მისი დომენის მკაფიო ელემენტებს მისი კოდოსის იგივე ელემენტად. სხვა სიტყვებით რომ ვთქვათ, ფუნქციის კოდომენის ყველა ელემენტია დომენის უმეტესი ელემენტის გამოსახულება. ტერმინი ერთ-ერთი ერთეული არ უნდა იყოს დაბნეული ერთ-ერთზე მეტყველების (a.k.a. bijective function), რომელიც ცალსახად აერთიანებს ყველა ელემენტს ორივე დომენში და codomain ერთმანეთს (იხ. მოღვაწეები).
ზოგჯერ, X- დან Y- ის ინექციური ფუნქცია f: X ↣ Y- ს მიუთითებს, ის arrow- კუდიანი კუდის გამოყენებით (U 21A3 ↣ RIGHTWARDS ARROW WITH TAIL). X- დან Y- ის ინექციური ფუნქციები შეიძლება აღინიშნოს YX- ის გამოყენებით, რომელიც წარმოიქმნება ფაქტორული ძალაუფლებისთვის, რომელიც გამოიყენება X და Y ელემენტებით, X და Y ელემენტებით, X- დან Y- დან ინექციების რაოდენობა (იხილეთ თორმეტი გზა). ფუნქცია f, რომელიც არ არის ინექცია, ხშირად უწოდებენ ბევრს-ერთს. თუმცა, ინექციური ტერმინოლოგია ასევე გამოიყენება ხანმოკლე ღირებულებით, ანუ თითოეული არგუმენტი მაქსიმალურად ერთსულოვანია. მონომორფიზმი არის თეორიის ინექციური ფუნქციის განზოგადება. [თანმიმდევრობა][Lambda Calculus][კომპლექტი: მათემატიკა][კატეგორია თეორია] |