Bijection

In mathematica, ${\displaystyle f}$ es un bijection^[1] de ${\displaystyle A}$ a sur ${\displaystyle B}$ (o bijective), si e solmente si ${\displaystyle f}$ es injective, e ${\displaystyle f}$ es un surjection de ${\displaystyle A}$ a sur ${\displaystyle B}$.