A bijection is a type of function between two sets that is both injective (one-to-one) and surjective (onto). This means that each element in the first set is mapped to exactly one unique element in the second set, and each element in the second set is covered by an element from the first set.