| (i) | $f : \{ 1, \ldots, N \} \to \{ 1, \ldots, N \}$ is a D5406: Positive integer function on $\{ 1, \ldots, N \}$ |
| ▼ | Set of symbols |
| ▼ | Alphabet |
| ▼ | Deduction system |
| ▼ | Theory |
| ▼ | Zermelo-Fraenkel set theory |
| ▼ | Set |
| ▼ | Binary cartesian set product |
| ▼ | Binary relation |
| ▼ | Map |
| ▼ | Bijective map |
| ▼ | Set automorphism |
| ▼ | Permutation |
| (i) | $f : \{ 1, \ldots, N \} \to \{ 1, \ldots, N \}$ is a D5406: Positive integer function on $\{ 1, \ldots, N \}$ |