Se dit d’une correspondance un à un entre les objets de deux ensembles.
Exemple
La règle \(f : \textrm{A} \rightarrow \textrm{B} : x \mapsto 2^x\) est une relation biunivoque.
La règle \(f : \textrm{A} \rightarrow \textrm{B} : x \mapsto 2^x\) est une relation biunivoque.