Por definición, una permutación es una biyección de un conjunto sobre sí mismo. Dicha definición es interesante porque para conjuntos finitos las permutaciones forman una estructura de grupo: el $\textbf{Group of Permutation}$ que suele escribirse como $S_n$ donde $n$ es el número de elementos que estamos permutando. En álgebra, concretamente en teoría de grupos y teoría de Galois, esta estructura es muy importante, por no decir central, por lo que tiene sentido definirla y estudiarla.
Para conjuntos infinitos (no contables) se puede definir de la misma manera: las biyecciones de cualquier conjunto siempre forman un grupo bajo composición. Se puede pensar en estos mapas como "reordenación infinita", pero no estoy seguro de que sirva de ayuda.