Let $A$ and $B$ be classes.
Let $f: A \to B$ be a class mapping from $A$ to $B$.
Then $f$ is said to be a bijection if and only if:
- 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.
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 $\cong$ already has several uses.
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 .
- Results about bijections can be found here.