(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 \}$ |