Bijekzio

Matematikan, bijekzioa edo funtzio bijektiboa ${\displaystyle f\colon X\to Y\,}$ funtzio bat da, aldi berean injektiboa eta supraiektiboa dena; hau da, X multzoko elementu bakoitzari Y multzoko elementu bat dagokio, eta Y multzoko edozein y elementuri y = f(x) funtzioa beteko duen X multzoko x elementu bakarra dagokio.

Formalki,

${\displaystyle \forall y\in Y:\exists !\ x\in X,\ f(x)=y}$

Aurrekoaren ondorio zuzena hau da: funtzio bijektibo batean abiaburu-multzoko edo Definizio-eremuaren kardinalitatea, eta helburu-multzoarena edo irudi-multzoarena, berbera da. Hori adibidean ikus daiteke, non |X|=|Y|=4 den.