Correspondence Counting is a combinatorial enumeration technique that establishes a bijective mapping between elements of two finite sets to determine cardinality by leveraging one-to-one correspondence as a foundational counting principle.