Funciono injektiva

funciono $f:X\to Y$ esas dica injektia o esas injektio se per omni y en l'arivey-ensemblo Y ibe esas al plu elemento x del defin-ensemblo X tela ke f(x) = y.