---
tag: 0GG9TVW90M
kind: concept
name: Bijective function
aliases: [bijection, one-to-one-correspondence]
msc: ["03E20"]
sources:
  - url: https://en.wikipedia.org/wiki/Bijection
    locator: lead section
same_as:
  wikidata: Q180907
  wikipedia: Bijection
---

## Summary

A function is bijective when it is both injective and surjective, so each element of the codomain is the value at exactly one input.