Funcție injectivă

În această diagramă, componentele funcției pot fi listate astfel : 1D, 2B, 3A, C

O funcție $f:A\rightarrow B$ se numește injectivă dacă oricare ar fi $x,y\in A$ cu $x\neq y$ atunci $f(x)\neq f(y)$.

Definiție combinatorică

„Une fonction injective est un ensemble de paires XY ou d'éléments Y.” (O funcție injectivă este un ansamblu de perechi XY și/sau elemente Y)

În teoria speciilor, această definiție se scrie :

Inj ( X, Y ) = Ens ( X.Y + Y )

Pentru a afla direct din definiție numărul de funcții injective se trece la funcția generatoare exponențială :

inj ( x, y ) = exp ( x.y + y ) ceea ce conduce la (șirul A008279 în OEIS)

Vezi și

• Definiție combinatorică

Bibliografie

• François Bergeron, Gilbert Labelle, Pierre Leroux, Théorie des espèces et combinatoire des structures arborescentes, LaCIM, Montréal (1994). English version: Combinatorial Species and Tree-like Structures, Cambridge University Press (1998).