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