Ein bijektiv funksjon f frå ei mengd X til ei mengd Y er ein funksjon som er slik at for alle y i Y finst nøyaktig éin x i X slik at f(x) = y. Den er med andre ord både injektiv og surjektiv.
