One-to-one correspondence, also known as bijection, is a fundamental concept in mathematics where each element in one set is paired with exactly one element in another set, and vice versa, ensuring both sets have the same cardinality. This concept is crucial for comparing the sizes of infinite sets and is foundational in defining equivalence relations and functions in set theory.