A bijective function is a function that is both injective (one-to-one) and surjective (onto). This means that each value in the domain is mapped to a unique value in the codomain, and that each value in the codomain is covered by a value in the domain.