En bijeksjon er en type funksjon mellom to mengder som er både injektiv (en-til-en) og surjektiv (på). Dette betyr at hver element i den første mengden er knyttet til nøyaktig ett unikt element i den andre mengden, og hver element i den andre mengden er dekket av et element fra den første mengden.