In matematica, una corrispondenza biunivoca tra due insiemi <var>A</var> e <var>B</var> è una relazione binaria tra <var>A</var> e <var>B</var>, tale che ad ogni elemento di corrisponda uno ed un solo elemento di , e viceversa ad ogni elemento di B corrisponda uno ed un solo elemento di <var>A</var>.