A bijection is a function that establishes a one-to-one correspondence between elements of two sets, ensuring both injectivity and surjectivity. This means every element in the first set maps to a unique element in the second set, and every element in the second set is mapped by some element in the first set, making the two sets equinumerous.