The

**set of bijections**

*from*$X$

*to*$Y$ is the D11: Set \begin{equation} \text{Bij}(X \to Y) : = \{ f \mid f : X \to Y \text{ is a bijection} \} \end{equation}

▾ Set of symbols

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel set theory

▾ Set

▾ Binary cartesian set product

▾ Binary relation

▾ Map

▾ Bijective map

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel set theory

▾ Set

▾ Binary cartesian set product

▾ Binary relation

▾ Map

▾ Bijective map

Conventions

Child definitions

Results