Injections, in mathematics, are functions that map distinct elements of the domain to distinct elements of the codomain, ensuring no two different inputs have the same output. This property is crucial in establishing one-to-one correspondences and is foundational in understanding bijections and surjective functions.