ThmDex – An index of mathematical definitions, results, and conjectures.
Convention N592 on D2221: Set of bijections
Notation for set of bijections
Let $X$ and $Y$ each be a D11: Set. We denote the D2221: Set of bijections from $X$ to $Y$ by $\text{Bij}(X \to Y)$.