Logique et langage mathématiqueBiunivoqueSe dit d'une correspondance un à un entre les objets de deux ensembles. Exemple La règle [latex]f : \textrm{A} \rightarrow \textrm{B} : x \mapsto 2^x[/latex] est une relation biunivoque.
