# Definition:Bijection/Definition 2

## Definition

A mapping $f: S \to T$ is a bijection if and only if:

$f$ has both a left inverse and a right inverse.

## Also known as

The terms

biunique correspondence
bijective correspondence

are sometimes seen for bijection.

Authors who prefer to limit the jargon of mathematics tend to use the term one-one and onto mapping for bijection.

If a bijection exists between two sets $S$ and $T$, then $S$ and $T$ are said to be in one-to-one correspondence.

Occasionally you will see the term set isomorphism, but the term isomorphism is usually reserved for mathematical structures of greater complexity than a set.

Some authors, developing the concept of inverse mapping independently from that of the bijection, call such a mapping invertible.

The symbol $f: S \leftrightarrow T$ is sometimes seen to denote that $f$ is a bijection from $S$ to $T$.

Also seen sometimes is the notation $f: S \cong T$ or $S \stackrel f \cong T$ but this is cumbersome and the symbol has already got several uses.

## Technical Note

The $\LaTeX$ code for $f: S \leftrightarrow T$ is f: S \leftrightarrow T .

The $\LaTeX$ code for $f: S \cong T$ is f: S \cong T .

The $\LaTeX$ code for $S \stackrel f \cong T$ is S \stackrel f \cong T .
{"ft_lang_label":"__label__en","ft_lang_prob":0.8763632,"math_prob":0.9939774,"size":1703,"snap":"2019-51-2020-05","text_gpt3_token_len":462,"char_repetition_ratio":0.11418481,"word_repetition_ratio":0.027972028,"special_character_ratio":0.27715796,"punctuation_ratio":0.1833811,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.998754,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2020-01-24T04:52:51Z\",\"WARC-Record-ID\":\"<urn:uuid:dbf59264-c36f-44aa-b359-1451e77de9cc>\",\"Content-Length\":\"35992\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:962afe73-8439-4c7d-86f3-4d3bea24639f>\",\"WARC-Concurrent-To\":\"<urn:uuid:ab50a499-eb59-438b-9974-783c62795f65>\",\"WARC-IP-Address\":\"104.27.168.113\",\"WARC-Target-URI\":\"https://proofwiki.org/wiki/Definition:Bijection/Definition_2\",\"WARC-Payload-Digest\":\"sha1:M77C5RYYORHVGOYK64LJO2LXOJE6QERS\",\"WARC-Block-Digest\":\"sha1:Q2SS7VGI6IU37CLWYH3BVF2PTFBJSQMP\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2020/CC-MAIN-2020-05/CC-MAIN-2020-05_segments_1579250615407.46_warc_CC-MAIN-20200124040939-20200124065939-00429.warc.gz\"}"}