Le produit de deux matrices ne peut être défini que si le nombre de colonnes de la matrice est égal au nombre de lignes de la matrice ; donc si appartient à et à , le produit n'est possible que si est égal à et dans ce cas le produit appartient à .

Le de est la matrice à lignes et colonnes dont tous les coefficients sont nuls.