corrispondenza biunivoca
corrispondenza biunivoca o biiezione, corrispondenza tra due insiemi (o classi) tale che a ogni elemento del primo è associato uno e un solo elemento del secondo e viceversa. È quindi una corrispondenza univoca, iniettiva e suriettiva. È spesso indicata con una freccia a doppia punta: ↔. Due insiemi tra cui sia stabilita una corrispondenza biunivoca sono detti avere la stessa cardinalità.