iniezione
iniezione di un insieme X in un insieme Y, è un’applicazione iniettiva ƒ: X → Y (→ iniettività).