Une matrice de permutation est une matrice carrée qui vérifie les propriétes suivantes :
Ainsi
est une matrice de permutation.