Biiezzioni

In matematica una biiezzioni (o biiezzione) trà dui insemi ${\displaystyle X}$ è ${\displaystyle Y}$ hè una rilazioni binaria trà ${\displaystyle X}$ è ${\displaystyle Y}$, tali ch'è à ogni elementu di ${\displaystyle X}$ currispondi un è un solu elementu di ${\displaystyle Y}$, è viciversa à ogni elementu di ${\displaystyle Y}$ currispondi un è un solu elementu di ${\displaystyle X}$.

U stessu cuncettu pò ancu essa aspressu usendu i funzioni. Si dici ch'è una funzioni

${\displaystyle f\colon X\to Y}$

hè biiettiva s'è par ogni elementu ${\displaystyle y}$ di ${\displaystyle Y}$ ci hè un è un solu elementu ${\displaystyle x}$ di ${\displaystyle X}$ tali ch'è ${\displaystyle f(x)=y}$.

Una tali funzioni hè ditta ancu currispundenza biunivoca, funzioni biiettiva o funzioni biunivoca.