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