Este documento define y explica los conceptos de función, función inyectiva, función sobreyectiva y función biyectiva en matemáticas. Una función biyectiva es aquella que es a la vez inyectiva, es decir, a cada elemento del conjunto dominio le corresponde un único elemento del codominio, y sobreyectiva, esto es, todos los elementos del codominio son imagen de algún elemento del dominio.